1322 search results - page 29 / 265 » Unsound Theorem Proving |
FLOPS
2008
Springer
13 years 9 months ago
2008
Springer
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
ECP
1997
Springer
13 years 11 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
AAAI
2008
13 years 8 months ago
2008
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...
JSYML
1998
13 years 7 months ago
1998
We prove the following theorems:
SAIG
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...