Andrea Sattler-Klein

From MaRDI portal
Person:808266

Available identifiers

zbMath Open sattler-klein.andreaMaRDI QIDQ808266

List of research outcomes





PublicationDate of PublicationType
Divergence phenomena during completion2022-12-09Paper
FDT is undecidable for finitely presented monoids with solvable word problems2022-12-09Paper
New undecidability results for finitely presented monoids2017-11-17Paper
Some complexity results for prefix Gröbner bases in free monoid rings2010-02-09Paper
Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings2008-02-26Paper
An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings2007-09-03Paper
THE PROPERTY FDT IS UNDECIDABLE FOR FINITELY PRESENTED MONOIDS THAT HAVE POLYNOMIAL-TIME DECIDABLE WORD PROBLEMS2002-12-15Paper
https://portal.mardi4nfdi.de/entity/Q49426212000-03-16Paper
https://portal.mardi4nfdi.de/entity/Q42555201999-08-16Paper
https://portal.mardi4nfdi.de/entity/Q38387581999-06-20Paper
https://portal.mardi4nfdi.de/entity/Q42467371999-06-15Paper
Proof lengths for equational completion1996-12-12Paper
On the problem of generating small convergent systems1994-08-31Paper
Elimination of composite superpositions may cause abortion1991-01-01Paper

Research outcomes over time

This page was built for person: Andrea Sattler-Klein

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:808266&oldid=6732222"
Powered by MediaWiki