17 results on '"Vardi M"'
Search Results
2. Proof-tree transformation theorems and their applications.
3. Safety of datalog queries over infinite databases.
4. Invited talk: automata theory for database theoreticians.
5. The complexity of reasoning about knowledge and time.
6. Reasoning about fair concurrent programs.
7. The complexity of reasoning about knowledge and time.
8. Reasoning about fair concurrent programs.
9. The decision problem for the probabilities of higher-order properties.
10. An internal semantics for modal logic.
11. Improved upper and lower bounds for modal logics of programs.
12. An internal semantics for modal logic.
13. Improved upper and lower bounds for modal logics of programs.
14. A temporal fixpoint calculus.
15. On ω-automata and temporal logic.
16. On ω-automata and temporal logic.
17. automata theory.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.