The expressive power of fixed-point logic with counting

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

The journal of symbolic logic
Band: 61
Seite(n): 147-176

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Otto, Martin

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-021657