Alles van: J.W. Klop
Resultaat 1 - 1 (van 1)
Y. Toyama | J.W. Klop | Henk Barendregt Termination for direct sums of left-linear complete term rewriting systems
Non-fictie
Engels | 31 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek