Intuitionistic three-valued logic and logic programming
J. Vauzeilles, A. Strauss (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “A note on negative tagging for least fixed-point formulae”
Intuitionistic three-valued logic and logic programming
On temporal program verification rules
F. Kröger (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Automated theorem proving in monadic predicate calculus
Jan Štěpán (1991)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Stable surjection logic
Colin McLarty (1989)
Diagrammes
Similarity:
On Lamport's comparison between linear and branching time temporal logic
Susanne Graf (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Theorem Provers for Substructural Logics
Mirjana Isaković Ilić (2007)
Publications de l'Institut Mathématique
Similarity: