Two-Variable Logic with Counting is Decidable (1996)

Cached

Download Links

by Erich Grädel , Martin Otto , Eric Rosen
Citations:59 - 3 self