Lincoln A. Wallen
4 published titles
Generating connection calculi from tableaux and sequent based proof systems
1 edition
- Dept. of Artificial Intelligence, University of Edinburgh
- 1985
- Details
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
1 edition
- ISBN: 0262231441
- MIT Press
- 1990
- Details
Proof search in the [lambda pi]-calculus
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1991
- Details
Logic programming via proof-valued computations
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
