DMCA
Two-Variable Logic with Counting is Decidable (1996)
Cached
Download Links
- [www-mgi.informatik.rwth-aachen.de]
- [www.logic.rwth-aachen.de]
- DBLP
Other Repositories/Bibliography
by
Erich Grädel
,
Martin Otto
,
Eric Rosen
Citations: | 77 - 4 self |