DMCA

Where first-order and monadic secondorder logic coincide (2012)

Cached

Download Links

by Michael Elberfeld , Martin Grohe , Till Tantau
Venue:In LICS
Citations:4 - 1 self