Zoekresultaten
Resultaat 1 - 4 (van 4)
A. Bossi | S. Etalle More on unfold/fold transformations of normal programs: preservation of fitting's semantics
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
A. Bossi | S. Etalle | S. Rossi Semantics of input-consuming programs
Non-fictie
Engels | Universiteit Maastricht, Department of Computer Science, Maastricht | 2000
Gedrukt boek
A. Bossi | M. Fabris | M.C. Meo A bottum-up semantics for constructive negation
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
A. Bossi | N. Cocco | S. Etalle Simultaneous replacement in normal programs
Non-fictie
Engels | 34 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek