1071 search results - page 56 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
CADE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
CADE
2012
Springer
13 years 4 days ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
KR
1998
Springer
15 years 2 months ago
1998
Springer
DLOG
1996
14 years 11 months ago
1996
54
Voted
DLOG
2010
14 years 7 months ago
2010