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 |
Be the first to leave a comment!