949 search results - page 6 / 190 » Theory of Constraints |
COLING
2000
15 years 7 months ago
2000
138
Voted
CADE
2004
Springer
16 years 5 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...