Concepedia

Erik Rosenthal

ER

Statistics

Publications

11

Citations

277

H-Index

10

Active since

1982

Affiliations

University of New Haven(Current)

University at Albany, State University of New York

Albany State University

Wellesley College

Bucknell University

Erik Rosenthal is an author at University of New Haven specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationComputer ScienceSemanticsFormal LogicNon-monotonic LogicBiologyGenetics

Publications per year

1982–2004

11

Publications

11

Dissolution

Neil V. Murray, Erik Rosenthal · Journal of the ACM · 1993 · 50 citations · Full text

New Yorkview Profile, Journal Citation Report, New York +2

Inference with path resolution and semantic graphs

Neil V. Murray, Erik Rosenthal · Journal of the ACM · 1987 · 48 citations · Full text

Engineering, Computational Complexity, Higher-order Logic +16

A Framework for Automated Reasoning in Multiple-Valued Logics

James Lu, Neil V. Murray, Erik Rosenthal · Journal of Automated Reasoning · 1998 · 32 citations

Signed formulas and annotated logics

James Lu, N. V. Murray, Erik Rosenthal · 2002 · 32 citations

Engineering, Annotated Logics, Semantics +18

ADAPTING CLASSICAL INFERENCE TECHNIQUES TO MULTIPLE-VALUED LOGICS USING SIGNED FORMULAS

Neil V. Murray, Erik Rosenthal · Fundamenta Informaticae · 1994 · 27 citations

Non-classical Logic, Engineering, Formulas Tha +13

1–5 of 11