Publication | Date of Publication | Type |
---|
Restriction in Program Algebra | 2024-02-20 | Paper |
Equationally defined classes of semigroups | 2024-01-09 | Paper |
Edge colourings and qualitative representations of chromatic algebras | 2023-07-18 | Paper |
Flat extensions of groups and limit varieties of additively idempotent semirings | 2023-04-04 | Paper |
Nonfinitely based ai-semirings with finitely based semigroup reducts | 2022-09-29 | Paper |
Flat extensions of groups and limit varieties of ai-semirings | 2022-08-29 | Paper |
Nonfinitely based ai-semirings with finitely based semigroup reducts | 2021-12-27 | Paper |
Undecidability of Algebras of Binary Relations | 2021-12-10 | Paper |
From \(A\) to \(B\) to \(Z\) | 2021-06-30 | Paper |
Override and update | 2020-09-24 | Paper |
Algebras defined by equations | 2020-04-21 | Paper |
Low Growth Equational Complexity | 2019-08-09 | Paper |
Domain and range for angelic and demonic compositions | 2019-03-27 | Paper |
Algebraic foundations for qualitative calculi and networks | 2019-03-26 | Paper |
Axiomatisability and hardness for universal Horn classes of hypergraphs | 2018-07-16 | Paper |
Erratum to: ``Finiteness properties of varieties and the restriction to finite algebras | 2018-06-13 | Paper |
Monoid varieties with extreme properties | 2018-04-23 | Paper |
On the atoms of algebraic lattices arising in đŽ-theory | 2017-05-16 | Paper |
Axiomatisability and hardness for universal Horn classes of hypergraphs | 2017-04-07 | Paper |
Complexity and polymorphisms for digraph constraint problems under some basic constructions | 2016-12-14 | Paper |
All or nothing: toward a promise problem dichotomy for constraint problems | 2016-11-03 | Paper |
The algebra of functions with antidomain and range | 2016-02-04 | Paper |
A finer reduction of constraint problems to digraphs | 2016-01-07 | Paper |
Flexible constraint satisfiability and a problem in semigroup theory | 2015-12-09 | Paper |
Infinite irredundant equational axiomatisability for a finite monoid | 2015-11-18 | Paper |
Well-structured program equivalence is highly undecidable | 2015-09-17 | Paper |
Natural dualities, nilpotence and projective planes | 2015-09-01 | Paper |
On Maltsev digraphs | 2015-03-11 | Paper |
Monoids with tests and the algebra of possibly non-halting programs | 2015-02-27 | Paper |
On the Reduction of the CSP Dichotomy Conjecture to Digraphs | 2014-05-12 | Paper |
On representing semigroups with subsemilattices. | 2013-08-26 | Paper |
Constraint satisfaction, irredundant axiomatisability and continuous colouring | 2013-08-19 | Paper |
Undecidability of representability as binary relations | 2013-01-07 | Paper |
Finite degree: algebras in general and semigroups in particular | 2012-03-23 | Paper |
MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS | 2012-01-11 | Paper |
On Maltsev Digraphs | 2011-06-17 | Paper |
The equational complexity of Lyndon's algebra | 2011-06-01 | Paper |
The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion | 2010-09-03 | Paper |
The Division Relation: Congruence Conditions and Axiomatisability | 2010-03-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3407128 | 2010-03-02 | Paper |
SEMIGROUPS WITH ifâthenâelse AND HALTING PROGRAMS | 2010-01-15 | Paper |
Partial Maps with Domain and Range: Extending Schein's Representation | 2009-09-11 | Paper |
Undecidable problems for completely 0-simple semigroups. | 2009-06-18 | Paper |
Relatively inherently nonfinitely q-based semigroups | 2009-04-17 | Paper |
PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES | 2008-12-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q3514350 | 2008-07-21 | Paper |
The axiomatizability of topological prevarieties | 2008-07-10 | Paper |
Flat algebras and the translation of universal Horn logic to equational logic | 2008-05-08 | Paper |
IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS | 2007-03-21 | Paper |
INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS | 2006-05-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q3365838 | 2006-02-13 | Paper |
Semilattices with closure | 2006-01-06 | Paper |
Standard topological algebras: syntactic and principal congruences and profiniteness | 2006-01-06 | Paper |
FINITE SEMIGROUPS WITH INFINITE IRREDUNDANT IDENTITY BASES | 2005-09-12 | Paper |
Finiteness properties of varieties and the restriction to finite algebras. | 2005-06-06 | Paper |
On locally finite varieties with undecidable equational theory. | 2005-04-19 | Paper |
Generalising congruence regularity for varieties. | 2005-04-19 | Paper |
Semilattice Pseudo-complements on Semigroups | 2005-01-24 | Paper |
DUALISABILITY OF FINITE SEMIGROUPS | 2004-08-06 | Paper |
Agreeable semigroups. | 2003-09-07 | Paper |
Small inherently nonfinitely based finite semigroups | 2002-05-30 | Paper |
An invitation to \(C\)-semigroups | 2002-04-07 | Paper |
FINITELY BASED, FINITE SETS OF WORDS | 2001-11-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q2754914 | 2001-11-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4761443 | 2001-05-13 | Paper |
Small semigroup related structures with infinite properties | 2001-02-28 | Paper |
Finite semigroups whose varieties have uncountably many subvarieties | 2001-01-29 | Paper |
Some undecidable embedding problems for finite semigroups | 2000-05-04 | Paper |
A note on HSI-algebras and counterexamples to Wilkie's identity | 1998-11-24 | Paper |