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
- DOI: 10.1109/SCT.1994.315798
- REPORT NUMBER: RWTH-CONV-193477