Tailoring recursion for complexity

Champaign, Ill / Association for Symbolic Logic (1995) [Fachzeitschriftenartikel]

The journal of symbolic logic
Band: 60
Seite(n): 952-969

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
Gurevich, Yuri

Identifikationsnummern