| Publication | Date of Publication | Type |
|---|
| An equational logic sampler | 2022-12-09 | Paper |
| Algebras, Lattices, Varieties | 2022-10-04 | Paper |
| Algebras, Lattices, Varieties | 2022-10-04 | Paper |
| Maps that must be affine or conjugate affine: a problem of Vladimir Arnold | 2020-11-04 | Paper |
| The undecidability of the elementary theory of lattices of all equational theories of large signature | 2019-07-10 | Paper |
| The computational complexity of deciding whether a finite algebra generates a minimal variety | 2018-09-13 | Paper |
| Algebras, Lattices, Varieties | 2018-08-16 | Paper |
| Congruence meet-semidistributive locally finite varieties and a finite basis theorem | 2018-07-16 | Paper |
| A Functional Equation Characterization of Archimedean Ordered Fields | 2018-07-11 | Paper |
| Some variations on a theme of Irina Mel'nichuk concerning the avoidability of patterns in strings of symbols | 2018-05-25 | Paper |
| A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). | 2015-09-01 | Paper |
| The equational complexity of Lyndon's algebra | 2011-06-01 | Paper |
| The equational compatibility problem for the real line | 2009-02-17 | Paper |
| EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM | 2009-02-10 | Paper |
| A modular inherently nonfinitely based lattice | 2007-01-29 | Paper |
| An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth | 2006-01-06 | Paper |
| Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green | 2004-08-06 | Paper |
| Inherently nonfinitely based lattices | 2002-08-22 | Paper |
| Full duality among graph algebras and flat graph algebras | 2001-12-16 | Paper |
| Dualizability and graph algebras | 2000-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244352 | 1999-05-27 | Paper |
| The existence of finitely based lower covers for finitely based equational theories | 1996-11-04 | Paper |
| Perfect bases for equational theories | 1996-05-27 | Paper |
| Finite axiomatizability of congruence rich varieties | 1995-11-22 | Paper |
| Corrigendum to: ``Structural diversity in the lattice of equational theories | 1994-11-24 | Paper |
| Forward: A volume dedicated to Bjarni Jónsson on the occasion of his seventieth birthday. (With publication list) | 1994-07-18 | Paper |
| A field guide to equational logic | 1993-01-17 | Paper |
| Lyndon's groupoid is not inherently nonfinitely based | 1990-01-01 | Paper |
| Growth problems for avoidable words | 1989-01-01 | Paper |
| Bounded and well-placed theories in the lattice of equational theories | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832626 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751631 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3765838 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728962 | 1986-01-01 | Paper |
| Alfred Tarski and undecidable theories | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3695317 | 1985-01-01 | Paper |
| A theory of recursive dimension of ordered sets | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672059 | 1984-01-01 | Paper |
| Connected graphs of genus g with complementary orbits | 1983-01-01 | Paper |
| Injectives and Projectives in Term Finite Varieties of Algebras | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3658046 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4739971 | 1983-01-01 | Paper |
| Covering in the lattice of equational theories and some properties of term finite theories | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657982 | 1982-01-01 | Paper |
| Infinite chains of non-finitely based equational theories of finite algebras | 1981-01-01 | Paper |
| Structural diversity in the lattice of equational theories | 1981-01-01 | Paper |
| Square-free and cube-free colorings of the ordinals | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880868 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893982 | 1980-01-01 | Paper |
| Avoidable patterns in strings of symbols | 1979-01-01 | Paper |
| When is a point Borel? | 1979-01-01 | Paper |
| Universal Horn axiom systems for lattices of submodules | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4147655 | 1977-01-01 | Paper |
| Fragments of first order logic, I: universal Horn logic | 1977-01-01 | Paper |
| The decision problem for equational bases of algebras | 1976-01-01 | Paper |
| Undecidable properties of finite sets of equations | 1976-01-01 | Paper |
| Combinatory interpolation theorems | 1975-01-01 | Paper |
| The Ascending and Descending Varietal Chains of a Variety | 1975-01-01 | Paper |
