Logical definability of counting functions

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

Journal of computer and system sciences
Band: 53
Seite(n): 283-297

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
Compton, Kevin J.

Identifikationsnummern