Alles van: J.W. Klop
Resultaat 1 - 4 (van 4)
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
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
J.W. Klop | A. Middeldorp An introduction to Knuth-Bendix completion
Non-fictie
Engels | 23 pagina's | Vrije Universiteit, Faculteit Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
J.W. Klop | A. Middeldorp Strongly sequential term rewriting systems
Non-fictie
Engels | 38 pagina's | Vrije Universiteit, Subfaculteit Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek