Zoekresultaten
Resultaat 1 - 3 (van 3)
E. Marchiori Design of abstract domains using first-order logic
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
E. Marchiori | F. Teusink Proving termination of logic programs with delay declarations
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
E. Marchiori | F. Teusink Proving deadlock freedom of logic programs with dynamic scheduling
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek