Zoekresultaten
Resultaat 1 - 11 (van 11)
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 deadlock freedom of logic programs with dynamic scheduling
Non-fictie
Engels | 19 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 A methodology for proving termination of general logic programs
Non-fictie
Engels | 26 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
E. Marchiori A logic for variable aliasing in logic programs
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
E. Marchiori Some uses of constructive negation for classical problems in non-monotonic reasoning
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
K.R. Apt | E. Marchiori Reasoning about Prolog programs
from modes through types to assertions
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
E. Marchiori Proving run-time properties of general programs w.r.t. constructive negation
Non-fictie
Engels | 28 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek
L. Colussi | E. Marchiori A predicate transformer for unification
Non-fictie
Engels | 16 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
K.R. Apt | E. Marchiori | C. Palamidessi A theory of first-order built-in's of Prolog
Non-fictie
Engels | 15 pagina's | CWI, Centrum voor Wiskunde en Informatica van de Stichting Mathematisch Centrum, Amsterdam | 1992
Gedrukt boek
K.R. Apt | E. Marchiori | C. Palamidessi A declarative approach for first-order built-in's of Prolog
Non-fictie
Engels | 45 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1992
Gedrukt boek