Stack based implementation of narrowing.

Narrowing machine

Saved in:
Loogen, R.
Aachen : Technische Hochschule Aachen, 1990.
17 S.
englisch
Aachener Informatik-Berichte ; Vol 90-0004.

JSC
Institute Call Number: S 006513-90-0004'01' Barcode: 1090102702 Available