Tailoring recursion for complexity
Grädel, Erich; Gurevich, Y.
Berlin ; Heidelberg ; New York / Springer [u.a.] (1994) [Contribution to a book]
Automata, languages, and programming. Berlin [u.a.] 1994
Page(s): 118-129
Identifier
- DOI: 10.1007/3-540-58201-0_62
- REPORT NUMBER: RWTH-CONV-103995