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

Be the first to leave a comment!
You must be logged in first