Two-Variable Logic with Counting is Decidable (1996)

Cached

Download Links

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