Lincoln A. Wallen

Publication Activity (10 Years)

Years Active: 1987-2000
Publications (10 Years): 0

Publications

Eike Ritter, David J. Pym, Lincoln A. Wallen
Proof-terms for classical and intuitionistic resolution. J. Log. Comput. 10 (2) (2000)
Eike Ritter, David J. Pym, Lincoln A. Wallen
On the intuitionistic force of classical search. Theor. Comput. Sci. 232 (1-2) (2000)
Eike Ritter, David J. Pym, Lincoln A. Wallen
Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). CADE (1996)
Eike Ritter, David J. Pym, Lincoln A. Wallen
On the Intuitionistic Force of Classical Search (Extended Abstract). TABLEAUX (1996)
Jason Brown, Lincoln A. Wallen
Representing Unification in a Logical Framework. UNIF (1995)
Jason Brown, Lincoln A. Wallen
Representing Unification in a Logical Framework. CSL (1995)
David J. Pym, Lincoln A. Wallen
Logic Programming via Proof-valued Computations. ALPUK (1992)
Donald Sannella, Lincoln A. Wallen
A Calculus for the Construction of Modular Prolog Programs. J. Log. Program. 12 (1&2) (1992)
David J. Pym, Lincoln A. Wallen
Investigations into Proof-Search in a System of First-Order Dependent Function Types. CADE (1990)
Lincoln A. Wallen
Automated Theorem Proving in Non-Classical Logics. SCAI (1988)
Michael R. Donat, Lincoln A. Wallen
Learning and Applying Generalised Solutions using Higher Order Resolution. CADE (1988)
Donald Sannella, Lincoln A. Wallen
A Calculus for the Construction of Modular Prolog Programs. SLP (1987)
Lincoln A. Wallen
Matrix Proof Methods for Modal Logics. IJCAI (1987)