| 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) |
| 11 | EE | Eike Ritter,
David J. Pym,
Lincoln A. Wallen:
On the intuitionistic force of classical search.
Theor. Comput. Sci. 232(1-2): 299-333 (2000) |
| 1996 |
|---|
| 10 | | Eike 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 |
|---|
| 8 | | Jason 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 |
|---|
| 5 | | David J. Pym,
Lincoln A. Wallen:
Investigations into Proof-Search in a System of First-Order Dependent Function Types.
CADE 1990: 236-250 |
| 1988 |
|---|
| 4 | | Michael 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 |
