Tailoring Recursing for Complexity

Erich Grädel, Yuri Gurevich. Tailoring Recursing for Complexity. In Serge Abiteboul, Eli Shamir, editors, Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings. Volume 820 of Lecture Notes in Computer Science, pages 118-129, Springer, 1994.

Abstract

Abstract is missing.