On temporal program verification rules
F. Kröger (1985)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “On the restricted equivalence for subclasses of propositional logic”
On temporal program verification rules
Intuitionistic three-valued logic and logic programming
J. Vauzeilles, A. Strauss (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
On generating all solutions of generalized satisfiability problems
N. Creignou, J.-J. Hebrard (1997)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Topologies, continuity and bisimulations
J. M. Davoren (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
On a connection between algebra, logic and linguistics
J. Lambek (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:
Stable surjection logic
Colin McLarty (1989)
Diagrammes
Similarity: