DMCA

Logical Definability of Counting Functions (1996)

Cached

Download Links

by Kevin J. Compton , Erich Grädel
Venue:JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Citations:4 - 1 self