632 search results - page 4 / 127 » Combining programming with theorem proving |
AAAI
2000
13 years 6 months ago
2000
The game of Hex is a two-player game with simple rules, a deep underlying mathematical beauty, and a strategic complexity comparable to that of Chess and Go. The massive game-tree...
FASE
1999
Springer
13 years 9 months ago
1999
Springer
CADE
1994
Springer
13 years 9 months ago
1994
Springer
SPC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
FLAIRS
2003
13 years 6 months ago
2003
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...