14 results on '"Grädel, Erich"'
Search Results
2. Separation logic and logics with team semantics
3. The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
4. Model-checking games for logics of imperfect information
5. Entanglement and the complexity of directed graphs
6. Backtracking games and inflationary fixed points
7. Model Checking Games
8. Guarded fixed point logics and the monadic theory of countable trees
9. On logics with two variables
10. Capturing complexity classes by fragments of second-order logic
11. Subclasses of presburger arithmetic and the polynomial-time hierarchy
12. Dominoes and the complexity of subclasses of logical theories
13. Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
14. Simple interpretations among complicated theories
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.