Lincoln A. Wallen

14 papers A* 1A 3B 2Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2000 J jnl
On the intuitionistic force of classical search.
Theor. Comput. Sci.
Eike Ritter, David J. Pym, Lincoln A. Wallen
2000 J jnl
Proof-terms for classical and intuitionistic resolution.
J. Log. Comput.
Eike Ritter, David J. Pym, Lincoln A. Wallen
1996 B conf
On the Intuitionistic Force of Classical Search (Extended Abstract).
TABLEAUX
Eike Ritter, David J. Pym, Lincoln A. Wallen
1996 A conf
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).
CADE
Eike Ritter, David J. Pym, Lincoln A. Wallen
1995 B conf
Representing Unification in a Logical Framework.
CSL
Jason Brown, Lincoln A. Wallen
1995 — conf
Representing Unification in a Logical Framework.
UNIF
Jason Brown, Lincoln A. Wallen
1992 J jnl
A Calculus for the Construction of Modular Prolog Programs.
J. Log. Program.
Donald Sannella, Lincoln A. Wallen
1992 — conf
Logic Programming via Proof-valued Computations.
ALPUK
David J. Pym, Lincoln A. Wallen
1990 — book
Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics.
Lincoln A. Wallen
1990 A conf
Investigations into Proof-Search in a System of First-Order Dependent Function Types.
CADE
David J. Pym, Lincoln A. Wallen
1988 — conf
Automated Theorem Proving in Non-Classical Logics.
SCAI
Lincoln A. Wallen
1988 A conf
Learning and Applying Generalised Solutions using Higher Order Resolution.
CADE
Michael R. Donat, Lincoln A. Wallen
1987 — conf
A Calculus for the Construction of Modular Prolog Programs.
SLP
Donald Sannella, Lincoln A. Wallen
1987 A* conf
Matrix Proof Methods for Modal Logics.
IJCAI
Lincoln A. Wallen