Alles van: S. Blom
Resultaat 1 - 4 (van 4)
S. Blom Lifting infinite normal form definitions from term rewriting to term graph rewriting
Non-fictie
Engels | 11 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2002
Gedrukt boek
S. Blom Partial →t⇋confluence for efficient state space generation
Non-fictie
Engels | 17 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek
S. Blom Term graph rewriting
syntax and semantics
Non-fictie
Engels | 190 pagina's | 2001
Gedrukt boek
Z.M. Ariola | S. Blom Lambda calculi plus letrec
Non-fictie
Engels | 109 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek