6597 search results - page 30 / 1320 » Orderings and Types in Databases |
ORDER
2010
13 years 6 months ago
2010
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...
JAR
2008
13 years 7 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
DBPL
2009
Springer
14 years 2 months ago
2009
Springer
ER
2009
Springer
14 years 2 months ago
2009
Springer
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE