22 results on '"Grädel, Erich"'
Search Results
2. Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
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. Guarded fixed point logics and the monadic theory of countable trees
8. Model Checking Games
9. On logics with two variables
10. Metafinite Model Theory
11. Logical Definability of Counting Functions
12. Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
13. The Omnicarbon tilting-disc heart valve prosthesis
14. Capturing complexity classes by fragments of second-order logic
15. Simple interpretations among complicated theories
16. Evaluation of aortocoronary venous bypass grafting for prevention of cardiac arrhythmias
17. Echocardiographic findings in prosthetic mitral valve dysfunction
18. Dominoes and the complexity of subclasses of logical theories
19. Subclasses of presburger arithmetic and the polynomial-time hierarchy
20. Gas Exchange during Mechanical Ventilation and Spontaneous Breathing
21. Echocardiographic features of the correctly functioning St. Jude Medical valve prosthesis
22. Clinical evaluation of the St. Jude Medical heart valve prosthesis
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.