Concepedia

Matthew Valeriote

MV

19

Publications

830

Citations

14

H-Index

1989

Active since

Affiliations

McMaster University(Current)

University of Waterloo

Eötvös Loránd University

University of Louisville

University of California, Berkeley

Matthew Valeriote is an author at McMaster University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceComputational ComplexityLinguisticsDiscrete MathematicsKnowledge CompilationEntropyMinimalism

Publications per year

1989–2020

19

Publications

19

Ralph Freese and Ralph McKenzie. Commutator theory for congruence modular varieties. London Mathematical Society lecture note series, no. 125. Cambridge University Press, Cambridge etc. 1987, iii + 227 pp.

Matthew Valeriote · Journal of Symbolic Logic · 1989 · 309 citations

Congruence Modular Varieties, Commutator Theory, Commutative Algebra +3

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

Characterizations of several Maltsev conditions

Marcin Kozik, Andrei Krokhin, Matthew Valeriote et al. · Algebra Universalis · 2015 · 62 citations · Full text

Nonlinear Functional Analysis, Integrable System, Several Maltsev Conditions +1

ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS

Ralph Freese, Matthew Valeriote · International Journal of Algebra and Computation · 2009 · 52 citations

Mathematical Programming, Various Maltsev Conditions, Engineering +12

Tractability and learnability arising from algebras with few subpowers

Paweł Idziak, Petar Marković, Ralph McKenzie et al. · 2007 · 45 citations

Algebraic Logic, Abstract Algebra, Engineering +13

Rows per page

1–5 of 19