Lincoln Wallen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Representing unification in a logical framework	2024-06-21	Paper
Investigations into proof-search in a system of first-order dependent function types	2023-04-28	Paper
Proof-terms for classical and intuitionistic resolution Automated Deduction — Cade-13	2019-01-15	Paper
On the intuitionistic force of classical search (extended abstract) Theorem Proving with Analytic Tableaux and Related Methods	2019-01-10	Paper
Tableaux for intuitionistic logics	2001-11-14	Paper
Proof-terms for classical and intuitionistic resolution Journal Of Logic And Computation	2000-09-04	Paper
On the intuitionistic force of classical search Theoretical Computer Science	2000-08-23	Paper
scientific article; zbMATH DE number 432699 (Why is no real title available?)	1993-11-11	Paper
scientific article; zbMATH DE number 49746 (Why is no real title available?)	1993-01-23	Paper
scientific article; zbMATH DE number 65536 (Why is no real title available?)	1992-09-27	Paper
A calculus for the construction of modular prolog programs The Journal of Logic Programming	1992-08-13	Paper
scientific article; zbMATH DE number 4051039 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Lincoln Wallen