307 search results - page 14 / 62 » On Hierarchical Reasoning in Combinations of Theories |
106
Voted
CSL
2006
Springer
15 years 5 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
127
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
100
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
116
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
128
Voted
PLILP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...