Concepedia

Lincoln Wallen

LW

Statistics

Publications

3

Citations

87

H-Index

3

Active since

1987

Affiliations

University of Edinburgh(Current)

Lincoln Wallen is an author at University of Edinburgh specializing in formal verification, engineering, and automated reasoning.

Top concepts

Publications per year

1987–2000

3

Publications

3

Matrix proof methods for modal logics

Lincoln Wallen · International Joint Conference on Artificial Intelligence · 1987 · 51 citations

, , +13

On the intuitionistic force of classical search

Eike Ritter, David Pym, Lincoln Wallen · Theoretical Computer Science · 2000 · 22 citations

, , +5

Generating connection calculi from tableau and sequent based proof systems

Lincoln Wallen · Artificial Intelligence and Its Applications · 1987 · 14 citations

, , +9

1–3 of 3