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]