Lincoln A. Wallen

According to our database, Lincoln A. Wallen authored at least 12 papers between 1987 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

On the intuitionistic force of classical search.

Eike Ritter, David J. Pym, Lincoln A. Wallen

Theor. Comput. Sci., 2000

Proof-terms for classical and intuitionistic resolution.

Eike Ritter, David J. Pym, Lincoln A. Wallen

J. Log. Comput., 2000

1996

On the Intuitionistic Force of Classical Search (Extended Abstract).

Eike Ritter, David J. Pym, Lincoln A. Wallen

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).

Eike Ritter, David J. Pym, Lincoln A. Wallen

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Representing Unification in a Logical Framework.

Jason Brown, Lincoln A. Wallen

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1992

Logic Programming via Proof-valued Computations.

David J. Pym, Lincoln A. Wallen

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1990

Investigations into Proof-Search in a System of First-Order Dependent Function Types.

David J. Pym, Lincoln A. Wallen

Proceedings of the 10th International Conference on Automated Deduction, 1990

Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics.

Lincoln A. Wallen

MIT Press series in artificial intelligence, MIT Press, ISBN: 978-0-262-23144-2, 1990

1988

Automated Theorem Proving in Non-Classical Logics.

Lincoln A. Wallen

Proceedings of the First Scandinavian Conference on Artificial Intelligence 1988, 1988

Learning and Applying Generalised Solutions using Higher Order Resolution.

Michael R. Donat, Lincoln A. Wallen

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

A Calculus for the Construction of Modular Prolog Programs.

Donald Sannella, Lincoln A. Wallen

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

Matrix Proof Methods for Modal Logics.

Lincoln A. Wallen

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987