Concepedia

Howard A. Blair

HA

Statistics

Publications

7

Citations

555

H-Index

7

Active since

1982

Affiliations

Syracuse University(Current)

Howard A. Blair is an author at Syracuse University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexityProgram AnalysisLogic ProgrammingSoftware AnalysisBusiness

Publications per year

1982–2011

7

Publications

7

Paraconsistent logic programming

Howard A. Blair, V. S. Subrahmanian · Theoretical Computer Science · 1989 · 303 citations

Applied Logic, Engineering, Automated Reasoning +5

Computer assisted reasoning with MIZAR

Andrzej Trybulec, Howard A. Blair · International Joint Conference on Artificial Intelligence · 1985 · 70 citations

Reasoning, Mathematics Education, Mizar Texts +14

Arithmetic Classification of Perfect Models of Stratified Programs

Krzysztof R. Apt, Howard A. Blair · Fundamenta Informaticae · 1990 · 65 citations

Engineering, Recursion Theoretic Complexity, Computational Model Theory +17

The recursion-theoretic complexity of the semantics of predicate logic as a programming language

Howard A. Blair · Information and Control · 1982 · 46 citations

Computational Logic, Recursion-theoretic Complexity, Declarative Programming +9

THE COMPLEXITY OF LOCAL STRATIFICATION

Peter Cholak, Howard A. Blair · Fundamenta Informaticae · 1994 · 31 citations

Computational Logic, Programming Language Theory, Computational Complexity Theory +11

1–5 of 7