Handbook of automated reasoning
Automata theoretic techniques for modal logics of programs: (Extended abstract)
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
A Tableau System for the Modal μ-Calculus
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Synthesis of asynchronous systems
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A formal language for electronic contracts
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
The modal µ-calculus caught off guard
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Satisfiability and finite model property for the alternating-time µ-calculus
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Specification in PDL with recursion
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
An appreciation of dexter kozen
Logic and Program Semantics
Hi-index | 0.00 |