8232 search results - page 101 / 1647 » Dynamic Logic Programming |
114
Voted
TABLEAUX
1997
Springer
15 years 6 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...
149
Voted
LISP
2008
15 years 2 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
204
Voted
POPL
2003
ACM
16 years 2 months ago
2003
ACM
122
Voted
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
103
Voted
CD
2005
Springer
15 years 8 months ago
2005
Springer
