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]

Abstract

Abstract is missing.