2911 search results - page 161 / 583 » A Logic of Graph Constraints |
78
Voted
WOLLIC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
110
Voted
CADE
2006
Springer
16 years 1 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 ...
91
Voted
CADE
2004
Springer
16 years 1 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...
IFSA
2007
Springer
15 years 7 months ago
2007
Springer
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...
98
Voted
CP
2007
Springer
15 years 7 months ago
2007
Springer
We introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a...