949 search results - page 6 / 190 » Theory of Constraints |
COLING
2000
15 years 3 months ago
2000
COLING
1998
15 years 1 months ago
1998
SCHOLARPEDIA
2010
15 years 10 days ago
2010
89
Voted
COMJ
2010
14 years 11 months ago
2010
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...