1071 search results - page 56 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
159
click to vote
CADE
2006
Springer
16 years 6 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...
183
click to vote
CADE
2012
Springer
13 years 8 months 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...