10 search results - page 1 / 2 » cade 2000 |
CADE
2000
Springer
13 years 10 months ago
2000
Springer
CADE
2000
Springer
13 years 10 months ago
2000
Springer
TABLEAUX
2000
Springer
13 years 10 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 10 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 10 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...