10 search results - page 1 / 2 » cade 2000 |
CADE
2000
Springer
13 years 9 months ago
2000
Springer
CADE
2000
Springer
13 years 9 months ago
2000
Springer
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
CADE
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
CADE
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...