Zoekresultaten
Resultaat 1 - 2 (van 2)
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 | 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