Logical definability of counting functions
Grädel, Erich; Compton, Kevin J.
San Diego, Calif. [u.a.] : Elsevier (1996)
Journal Article
In: Journal of computer and system sciences
Volume: 53
Page(s)/Article-Nr.: 283-297
Institutions
- Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
- Department of Mathematics [110000]
Identifier
- DOI: 10.1006/jcss.1996.0069
- RWTH PUBLICATIONS: RWTH-CONV-016281