Concepedia

Ralph McKenzie

RM

56

Publications

2.2K

Citations

28

H-Index

1970

Active since

Affiliations

University of California, Berkeley(Current)

Vanderbilt University

Charles University

University of Novi Sad

La Trobe University

Ralph McKenzie is an author at University of California, Berkeley specializing in discrete mathematics, automated reasoning, and engineering.

Top concepts

Automated ReasoningDiscrete MathematicsEngineeringFormal MethodsComputer ScienceFunctional AnalysisRepresentation TheoryGraph TheorySpectral TheoryTheory Of Computing

Publications per year

1970–2017

56

Publications

56

Equational bases and nonmodular lattice varieties

Ralph McKenzie · Transactions of the American Mathematical Society · 1972 · 235 citations

Theory Of Computing, Algebraic Logic, Engineering +12

Existence theorems for weakly symmetric operations

Miklós Maróti, Ralph McKenzie · Algebra Universalis · 2008 · 159 citations

Topological Semigroups, Symmetric Function, Weakly Symmetric Operations +2

Equational Bases for Lattice Theories.

Ralph McKenzie · MATHEMATICA SCANDINAVICA · 1970 · 145 citations · Full text

Lattice Theories, Lattice (Order), Lattice Theory

Tractability and Learnability Arising from Algebras with Few Subpowers

Paweł M. Idziak, Petar Marković, Ralph McKenzie et al. · SIAM Journal on Computing · 2010 · 127 citations · Full text

-Ary Polymorphism, Algebraic Logic, Abstract Algebra +14

TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE

Ralph McKenzie · International Journal of Algebra and Computation · 1996 · 87 citations

Algebraic Logic, Universal Algebra, Finite Type +5

Rows per page

1–5 of 56