Tailoring recursion for complexity
Grädel, Erich; Gurevich, Yuri
Champaign, Ill : Association for Symbolic Logic (1995)
Journal Article
In: The journal of symbolic logic
Volume: 60
Page(s)/Article-Nr.: 952-969
Institutions
- Department of Mathematics [110000]
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
Identifier
- DOI: 10.2307/2275767
- RWTH PUBLICATIONS: RWTH-CONV-016915