Publication:1918969: Difference between revisions
Created automatically from import240129110113 |
(No difference)
|
Latest revision as of 14:46, 1 February 2024
DOI10.1007/BF01197185zbMATH Open0860.20043OpenAlexW2073951277MaRDI QIDQ1918969FDOQ1918969
Publication date: 13 April 1997
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01197185
wordscongruenceslengthoperationsvalleysequationsidentitiesproofsdegreesfree semigroupsminimal reductionstroughsmountain proofsnumber of peaks
Equational classes, universal algebra in model theory (03C05) Complexity of proofs (03F20) Equational logic, Mal'tsev conditions (08B05) Free semigroups, generators and relations, word problems (20M05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On theories with a combinatorial definition of 'equivalence'
- Idempotent Semigroups
- Undecidable properties of finite sets of equations
- Unending chess, symbolic dynamics and a problem in semi-groups
- Unsolvable problems for equational theories
- Semigroups satisfying identity xy=f(x,y)
- Semigroups satisfying \(xy=yg(x,y)x\)
Cited In (4)
This page was built for publication: The combinatorial degrees of proofs and equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1918969)