Abstract

The theory of idempotent semigroups is of unification type zero

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Definability in the lattice of equational theories of commutative semigroups
Andrzej Kisielewicz
Transactions of the American Mathematical Society | VOL. 356
Andrzej KisielewiczAndrzej Kisielewicz
28 Oct 2003
The Source of Semiprimeness of Semigroups
Barış Albayrak ... Feng Feng
Journal of Mathematics | VOL. 2021
Barış Albayrak, et. al.Barış Albayrak ... Feng Feng
01 Jun 2021
On finite X-semilattices of unions
Ya Diasamidze ... O Givradze
Journal of Soviet Mathematics | VOL. 141
Ya Diasamidze, et. al.Ya Diasamidze ... O Givradze
01 Feb 2007
A note on unification type zero
Franz Baader
Information Processing Letters | VOL. 27
Franz BaaderFranz Baader
01 Feb 1988
View more papers

More From: Journal of automated reasoning

Paper Title
Journal
Date
Author
Dependency Schemes in CDCL-Based QBF Solving: A Proof-Theoretic Study
Abhimanyu Choudhury ... Meena Mahajan
Journal of automated reasoning | VOL. 68
Abhimanyu Choudhury, et. al.Abhimanyu Choudhury ... Meena Mahajan
24 Jul 2024
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL
Asta Halkjær From ... Frederik Krogsdal Jacobsen
Journal of automated reasoning | VOL. 68
Asta Halkjær From, et. al.Asta Halkjær From ... Frederik Krogsdal Jacobsen
27 Jun 2024
Refinement of Parallel Algorithms Down to LLVM: Applied to Practically Efficient Parallel Sorting
Peter Lammich
Journal of automated reasoning | VOL. 68
Peter LammichPeter Lammich
19 Jun 2024
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic
Camillo Fiorentini ... Mauro Ferrari
Journal of automated reasoning | VOL. 68
Camillo Fiorentini, et. al.Camillo Fiorentini ... Mauro Ferrari
16 Jun 2024
View more papers