SEPARATING REGULAR LANGUAGES WITH FIRST-ORDER LOGIC.

Saved in:

Bibliographic Details
Title:	SEPARATING REGULAR LANGUAGES WITH FIRST-ORDER LOGIC.
Authors:	PLACE, THOMAS¹, thomas.place@labri.fr, ZEITOUN, MARC¹, marc.zeitoun@labri.fr
Source:	Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 1, p1-31, 31p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.2168/LMCS-12(1:5)2016