Logical definability of counting functions

(1994) [Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Autorinnen und Autoren

Compton, Kevin J.
Grädel, Erich

Identifikationsnummern