11 search results - page 1 / 3 » cade 1992 |
CADE
1992
Springer
14 years 2 months ago
1992
Springer
CADE
1992
Springer
14 years 2 months ago
1992
Springer
CADE
1992
Springer
14 years 2 months ago
1992
Springer
Tableau
CADE
1992
Springer
14 years 2 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
CADE
1992
Springer
14 years 2 months ago
1992
Springer
The ability to use a polynomial iterpretation to prove termination of a rewrite system naturally prompts the question as to what restriction on complexity this imposes. The main r...