3658 search results - page 332 / 732 » The logic of proofs, semantically |
181
click to vote
CADE
2000
Springer
15 years 11 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...
163
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
180
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...
134
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
149
Voted
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...