Sémantique logique et dénotationnelle des interpréteurs PROLOG
Page 1
Displaying 1 – 4 of 4
Simple equational specifications of rational arithmetic.
Moss, Lawrence S. (2001)
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems
Pierre Lescanne (1982)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Statistical theory of logical derivability
Jan Šindelář (1980)
Kybernetika
Currently displaying 1 – 4 of 4
Page 1