Alles van: J.W. Klop
Resultaat 1 - 5 (van 5)
J.W. Klop | A. Middeldorp Sequentiality in orthogonal term rewriting systems
Non-fictie
Engels | 38 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
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
R.N. Bol | K.R. Apt | J.W. Klop An analysis of loop checking mechanisms for logic programs
Non-fictie
Engels | 56 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
K.R. Apt | R.N. Bol | J.W. Klop On the safe termination of PROLOG programs
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
J.A. Bergstra | J.W. Klop | A. Middeldorp Termherschrijfsystemen
Inleiding in de theorie van termherschrijfsystemen waarin aan de orde komen basisbegrippen, reguliere termherschrijfsystemen, reductiestrategieën, terminatie en completering.
Non-fictie
Nederlands | 170 pagina's | Kluwer Bedrijfswetenschappen, Deventer | 1989
Gedrukt boek