Intuitionistic three-valued logic and logic programming
J. Vauzeilles, A. Strauss (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: