Logical definability of counting functions

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

Journal of computer and system sciences
Volume: 53
Page(s): 283-297

Authors

Authors

Grädel, Erich
Compton, Kevin J.

Identifier