Logical definability of counting functions

Compton, Kevin J.; Grädel, Erich

(1994)
Beitrag zu einem Tagungsband

In: Proc. IEEE Conf. on Struct. in Complexity Theor. Amsterdam, Niederlande 1994
Seite(n)/Artikel-Nr.: 255-266

Einrichtungen

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