Logical definability of counting functions

Grädel, Erich; Compton, Kevin J.

San Diego, Calif. [u.a.] : Elsevier (1996)
Fachzeitschriftenartikel

In: Journal of computer and system sciences
Band: 53
Seite(n)/Artikel-Nr.: 283-297

Einrichtungen

  • Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
  • Fachgruppe Mathematik [110000]

Identifikationsnummern