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

Authors

Steven Lindell, Haverford CollegeFollow
Scott Weinstein

Document Type

Conference Proceeding

Role

Contributor

Published In

Proceedings: 15th Annual IEEE Symposium on Logic in Computer Science

Publisher

IEEE

First Page

45

Last Page

50

Publication Date

2000

Suggested Citation

Lindell, Steve; Weinstein, Scott. "The Role of Decidability in First Order Separations over Classes of Finite Structures", in the Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (2000), pp. 45-50.