Stack based implementation of narrowing.
Narrowing machine
Saved in:
Personal Name(s): | Loogen, R. |
---|---|
Imprint: |
Aachen :
Technische Hochschule Aachen,
1990.
|
Physical Description: |
17 S. |
Note: |
englisch |
Series Title: |
Aachener Informatik-Berichte ;
Vol 90-0004. |
Subject (ZB): | |
Classification: |
JSC | |
---|---|
Institute ![]() ![]() |