481 search results - page 15 / 97 » Executing Higher Order Logic |
106
Voted
DLOG
2011
14 years 6 months ago
2011
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
ENTCS
2007
15 years 3 months ago
2007
JSYML
2000
15 years 2 months ago
2000
105
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...