## 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: | 59 - 3 self |