First-order expressibility of languages with neutral letters or: The Crane Beach conjecture

David A. Mix Barrington, Neil Immerman, Clemens Lautemann, Nicole Schweikardt, Denis Thérien. First-order expressibility of languages with neutral letters or: The Crane Beach conjecture. J. Comput. Syst. Sci., 70(2):101-127, 2005. [doi]

Authors

David A. Mix Barrington

This author has not been identified. Look up 'David A. Mix Barrington' in Google

Neil Immerman

This author has not been identified. Look up 'Neil Immerman' in Google

Clemens Lautemann

This author has not been identified. Look up 'Clemens Lautemann' in Google

Nicole Schweikardt

This author has not been identified. Look up 'Nicole Schweikardt' in Google

Denis Thérien

This author has not been identified. Look up 'Denis Thérien' in Google