Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
Compositional Reasoning Using Interval Temporal Logic and Tempura
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Complexity of propositional projection temporal logic with star†
Mathematical Structures in Computer Science
Decidability of propositional projection temporal logic with infinite models
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
A transformation from PPTL to S1S
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part II
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Verification and enforcement of access control policies
Formal Methods in System Design
| Hi-index | 0.00 |