Concepedia

Andreas Blass

AB

81

Publications

5.2K

Citations

34

H-Index

1972

Active since

Affiliations

University of Michigan(Current)

Microsoft (United States)

Hebrew University of Jerusalem

Pennsylvania State University

Andreas Blass is an author at University of Michigan specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceDiscrete MathematicsComputational ComplexityFormal VerificationCombinatorial OptimizationGraph TheoryProof Complexity

Publications per year

1972–2020

81

Publications

81

A Course in Universal Algebra.

Andreas Blass, Stanley Burris, Hanamantagouda P. Sankappanavar · American Mathematical Monthly · 1984 · 1.9K citations

Abstract Algebra, Universal Algebra, Representation Theory +1

A game semantics for linear logic

Andreas Blass · Annals of Pure and Applied Logic · 1992 · 281 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +5

Abstract state machines capture parallel algorithms

Andreas Blass, Yuri Gurevich · ACM Transactions on Computational Logic · 2003 · 164 citations

Cluster Computing, Engineering, Parallel Implementation +17

On the unique satisfiability problem

Andreas Blass, Yuri Gurevich · Information and Control · 1982 · 145 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +5

There may be simple Pℵ1 and Pℵ2-points and the Rudin-Keisler ordering may be downward directed

Andreas Blass, Saharon Shelah · Annals of Pure and Applied Logic · 1987 · 131 citations

Order Theory, Extremal Set Theory, Set-theoretic Topology +3

Rows per page

1–5 of 81