The Role of Decidability in First Order Separations over Classes of Finite Structures

Steven Lindell, Scott Weinstein. The Role of Decidability in First Order Separations over Classes of Finite Structures. In LICS. pages 45-50, 2000. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.