Lincoln Wallen

Available identifiers

zbMath Open wallen.lincoln-aWikidataQ21463773 ScholiaQ21463773MaRDI QIDQ1575922

List of research outcomes

Publication	Date of Publication	Type
Proof-terms for classical and intuitionistic resolution	2019-01-15	Paper
On the intuitionistic force of classical search (Extended abstract)	2019-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2753600	2001-11-14	Paper
Proof-terms for classical and intuitionistic resolution	2000-09-04	Paper
On the intuitionistic force of classical search	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q3138826	1993-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3999539	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4012884	1992-09-27	Paper
A calculus for the construction of modular prolog programs	1992-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3787520	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Lincoln Wallen