DECIDING DEFINABILITY IN FO2(
Saved in:
Bibliographic Details
Title:
DECIDING DEFINABILITY IN FO2(
Authors:
PLACE, THOMAS1, SEGOUFIN, LUC2
Source:
Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-50, 50p
Database:
Applied Science & Technology Source
Saved in:
| Title: | DECIDING DEFINABILITY IN FO2( |
|---|---|
| Authors: | PLACE, THOMAS1, SEGOUFIN, LUC2 |
| Source: | Logical Methods in Computer Science (LMCS); 2015, Vol. 11 Issue 3, p1-50, 50p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.2168/LMCS-11(3:4)2015 |
