Publication | Date of Publication | Type |
---|
Orchards in elliptic curves over finite fields | 2021-02-18 | Paper |
Automated reasoning with power maps | 2020-04-07 | Paper |
Means Compatible with Semigroup Laws | 2020-03-06 | Paper |
Commutativity Theorems in Groups with Power-like Maps | 2019-09-18 | Paper |
Single identities forcing lattices to be Boolean | 2018-08-23 | Paper |
Commutativity theorems for cancellative semigroups | 2018-02-28 | Paper |
Lattices with unique complementation | 2017-11-10 | Paper |
Automated Deduction in Ring Theory | 2016-09-28 | Paper |
Group Embedding of the Projective Plane PG(2, 3) | 2013-04-16 | Paper |
A Geometric Procedure with Prover9 | 2013-04-16 | Paper |
A 2-base for inverse semigroups | 2012-10-11 | Paper |
A Universal Variety of Point Algebras | 2010-10-20 | Paper |
Terms that are self-dual in Boolean algebras but not in \(MO_{2}\) | 2010-01-04 | Paper |
Equational spectrum of Hilbert varieties | 2009-11-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q3524776 | 2008-09-15 | Paper |
Another independent self-dual basis for the trivial variety | 2008-03-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q5293995 | 2007-07-09 | Paper |
An implication basis for linear forms | 2007-01-29 | Paper |
Uniqueness of Steiner laws on cubic curves | 2007-01-22 | Paper |
Self-dual bases for varieties of orthomodular lattices | 2006-07-12 | Paper |
Yet another single law for lattices | 2006-07-12 | Paper |
Levi's commutator theorems for cancellative semigroups. | 2006-03-22 | Paper |
Irredundant self-dual bases for self-dual lattice varieties | 2006-01-06 | Paper |
Automated discovery of single axioms for ortholattices | 2006-01-06 | Paper |
Orthomodular lattices and permutable congruences | 2006-01-06 | Paper |
Semilattice operations generated by lattice terms | 2005-11-24 | Paper |
Self-dual lattice identities. | 2005-04-19 | Paper |
\(M\)-solid varieties generated by lattices | 2003-04-23 | Paper |
A hyperbase for binary lattice hyperidentities | 2000-05-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4939385 | 2000-02-23 | Paper |
Lattice ordered polynomial algebras | 1999-05-16 | Paper |
Single identities for lattice theory and for weakly associative lattices | 1998-11-24 | Paper |
Automated deduction in equational logic and cubic curves | 1996-08-04 | Paper |
Varieties of operator semigroups representing partitions | 1996-04-10 | Paper |
Single identities for ternary Boolean algebras | 1995-05-01 | Paper |
Automated reasoning about cubic curves | 1995-02-02 | Paper |
Subdirectly irreducible \(n\)-quasilattices | 1994-12-12 | Paper |
The number of varieties of pure majority algebras | 1994-11-24 | Paper |
Binary hyperidentities of lattices | 1993-04-01 | Paper |
Block configurations on real cubic curves | 1992-06-26 | Paper |
Placement of the Desargues configuration on a cubic curve | 1992-06-26 | Paper |
A Nonconstructible Isomorphism | 1992-06-25 | Paper |
Self-inscribed polygons with vertices on nonsingular cubic curves | 1989-01-01 | Paper |
Variety-independence in lattice theory | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3796295 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3774449 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3776140 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3776141 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3831578 | 1987-01-01 | Paper |
Identities common to four Abelian group operations with zero | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3699712 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3702067 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3737480 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5184937 | 1985-01-01 | Paper |
A Self-Dual Equational Basis for Boolean Algebras | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3934447 | 1982-01-01 | Paper |
Logic of Equality in Geometry | 1982-01-01 | Paper |
A first order proof of a theorem of Frink | 1981-01-01 | Paper |
Equational Theories with a Minority Polynomial | 1981-01-01 | Paper |
Idempotent reducts of Abelian groups | 1980-01-01 | Paper |
A note on lattices with unique comparable complements | 1979-01-01 | Paper |
Symmetric difference in Abelian groups | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4109838 | 1978-01-01 | Paper |
A polynomial map preserving the finite basis property | 1977-01-01 | Paper |
Equational theory of algebras with a majority polynomial | 1977-01-01 | Paper |
Minimal identities for Boolean groups | 1975-01-01 | Paper |
On M-Symmetric Lattices | 1974-01-01 | Paper |
Equational Theories of Algebras with Distributive Congruences | 1973-01-01 | Paper |
A single identity for Boolean groups and Boolean rings | 1972-01-01 | Paper |
On identities defining lattices | 1972-01-01 | Paper |
Characterization of a class of groupoids | 1972-01-01 | Paper |
Subdirect decomposition of Plonka sums | 1972-01-01 | Paper |
Equational theory of idempotent algebras | 1972-01-01 | Paper |
Errata | 1972-01-01 | Paper |
On idempotent, commutative, and nonassociative groupoids | 1971-01-01 | Paper |
Regular Identities in Lattices | 1971-01-01 | Paper |
Two Identities for Lattices | 1969-01-01 | Paper |
Inverse Loops as Groupoids with One Law | 1969-01-01 | Paper |
On Single Equational-Axiom Systems for Abelian Groups | 1969-01-01 | Paper |
A note on inverse binary operation in abelian groups | 1969-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5559560 | 1968-01-01 | Paper |
On Axioms for Semi-Lattices | 1966-01-01 | Paper |
On some ternary relations in lattices | 1966-01-01 | Paper |