First Page | Document Content | |
---|---|---|
![]() Date: 2006-07-04 06:02:47Mathematics Finite model theory FO Conjunctive query Structure First-order logic Constraint logic programming Quantifier elimination Well-formed formula Logic Model theory Mathematical logic | Add to Reading List |