Concepedia

Richard Statman

RS

8

Publications

815

Citations

8

H-Index

1978

Active since

Affiliations

University of Michigan(Current)

Carnegie Mellon University

Richard Statman is an author at University of Michigan specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceEducationGraph TheoryNetwork AnalysisProof ComplexityFormal VerificationDiscrete Mathematics

Publications per year

1978–2004

8

Publications

8

Intuitionistic propositional logic is polynomial-space complete

Richard Statman · Theoretical Computer Science · 1979 · 232 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +5

On the Structure of Armstrong Relations for Functional Dependencies

Catriel Beeri, M. Dowd, Ronald Fagin et al. · Journal of the ACM · 1984 · 198 citations · Full text

The typed λ-calculus is not elementary recursive

Richard Statman · Theoretical Computer Science · 1979 · 160 citations · Full text

Engineering, Automated Reasoning, Typed λ-Calculus +4

Bounds for proof-search and speed-up in the predicate calculus

Richard Statman · Annals of Mathematical Logic · 1978 · 106 citations · Full text

Engineering, Predicate Calculus, Automated Reasoning +6

Genus distributions for two classes of graphs

Merrick L. Furst, Jonathan L. Gross, Richard Statman · Journal of Combinatorial Theory Series B · 1989 · 85 citations · Full text

Graph Theory, Random Graph, Topological Graph Theory +5

Rows per page

1–5 of 8