Concepedia

Richard L. Epstein

RL

5

Publications

171

Citations

5

H-Index

1975

Active since

Affiliations

University of California, Berkeley(Current)

Richard L. Epstein is an author at University of California, Berkeley specializing in engineering, proof complexity, and automated reasoning.

Top concepts

EngineeringProof ComplexityAutomated ReasoningLanguageSemanticsLinguisticsFormal MethodsComputer ScienceFormal SemanticsTheory Of Computing

Publications per year

1975–2002

5

Publications

5

Relatedness and implication

Richard L. Epstein · Philosophical Studies · 1979 · 69 citations

Formal Semantics, Relevance Logic, Automated Reasoning +3

Computability. Computable Functions, Logic, and the Foundations of Mathematics

Carlos Augusto Di Prisco, Richard L. Epstein, Walter Carnielli · Bulletin of Symbolic Logic · 2002 · 57 citations

Computational Logic, Multiple Recursion, Engineering +10

Minimal degrees of unsolvability and the full approximation construction

Richard L. Epstein · Memoirs of the American Mathematical Society · 1975 · 23 citations · Full text

Computational Complexity Theory, Engineering, Proof Complexity +3

Complementing below recursively enumerable degrees

S. Barry Cooper, Richard L. Epstein · Annals of Pure and Applied Logic · 1987 · 12 citations

Combinatorics On Word, Recursive Function, Enumerable Degrees +1

Diagonalization in degree constructions

Daniel Posner, Richard L. Epstein · Journal of Symbolic Logic · 1978 · 10 citations

Theory Of Computing, Schubert Calculus, Diagonalization Arguments +11

Rows per page

1–5 of 5