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