dblp.uni-trier.dewww.uni-trier.de

Lincoln A. Wallen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2000
12 Eike Ritter, David J. Pym, Lincoln A. Wallen: Proof-terms for classical and intuitionistic resolution. J. Log. Comput. 10(2): 173-207 (2000)
11EEEike Ritter, David J. Pym, Lincoln A. Wallen: On the intuitionistic force of classical search. Theor. Comput. Sci. 232(1-2): 299-333 (2000)
1996
10EEEike Ritter, David J. Pym, Lincoln A. Wallen: Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). CADE 1996: 17-31
9 Eike Ritter, David J. Pym, Lincoln A. Wallen: On the Intuitionistic Force of Classical Search (Extended Abstract). TABLEAUX 1996: 295-311
1995
8EEJason Brown, Lincoln A. Wallen: Representing Unification in a Logical Framework. CSL 1995: 106-129
1992
7 David J. Pym, Lincoln A. Wallen: Logic Programming via Proof-valued Computations. ALPUK 1992: 253-262
6 Donald Sannella, Lincoln A. Wallen: A Calculus for the Construction of Modular Prolog Programs. J. Log. Program. 12(1&2): 147-177 (1992)
1990
5EEDavid J. Pym, Lincoln A. Wallen: Investigations into Proof-Search in a System of First-Order Dependent Function Types. CADE 1990: 236-250
1988
4EEMichael R. Donat, Lincoln A. Wallen: Learning and Applying Generalised Solutions using Higher Order Resolution. CADE 1988: 41-60
3 Lincoln A. Wallen: Automated Theorem Proving in Non-Classical Logics. SCAI 1988: 1-12
1987
2 Lincoln A. Wallen: Matrix Proof Methods for Modal Logics. IJCAI 1987: 917-923
1 Donald Sannella, Lincoln A. Wallen: A Calculus for the Construction of Modular Prolog Programs. SLP 1987: 368-378

Coauthor Index

1Jason Brown [8]
2Michael R. Donat [4]
3David J. Pym [5] [7] [9] [10] [11] [12]
4Eike Ritter [9] [10] [11] [12]
5Donald Sannella [1] [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)