Andrea Sattler-Klein

Publication Activity (10 Years)

Years Active: 1991-2010
Publications (10 Years): 0

Universität Kaiserslautern (PHD)

Education History

Universität Kaiserslautern

PHD

Publications

Andrea Sattler-Klein
Some complexity results for prefix Gröbner bases in free monoid rings. Theor. Comput. Sci. 411 (4-5) (2010)
Andrea Sattler-Klein
An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings. STACS (2007)
Andrea Sattler-Klein
Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings. FCT (2007)
Friedrich Otto, Andrea Sattler-Klein
The Property Fdt is Undecidable for Finitely Presented Monoids that Have Polynomial-Time Decidable Word Problems. Int. J. Algebra Comput. 10 (3) (2000)
Friedrich Otto, Andrea Sattler-Klein, Klaus Madlener
Automatic Monoids Versus Monoids with Finite Convergent Presentations. RTA (1998)
Friedrich Otto, Andrea Sattler-Klein
FDT is Undecidable for Finitely Presented Monoids with Solvable Word Problems. FCT (1997)
Andrea Sattler-Klein
New Undecidablility Results for Finitely Presented Monoids. RTA (1997)
Andrea Sattler-Klein
Phänomene der Knuth-Bendix Vervollständigung. Ausgezeichnete Informatikdissertationen (1996)
David A. Plaisted, Andrea Sattler-Klein
Proof Lengths for Equational Completion. Inf. Comput. 125 (2) (1996)
Andrea Sattler-Klein
About Changing the Ordering During Knuth-Bendix Completion. STACS (1994)
Klaus Madlener, Andrea Sattler-Klein, Friedrich Otto
On the Problem of Generating Small Convergent Systems. J. Symb. Comput. 16 (2) (1993)
Andrea Sattler-Klein
Infinite, Canonical String Rewriting Systems Generated by Completion. LPAR (1992)
Klaus Madlener, Friedrich Otto, Andrea Sattler-Klein
Generating Small Convergent Systems Can Be Extremely Hard. ISAAC (1992)
Andrea Sattler-Klein
Divergence Phenomena during Completion. RTA (1991)
Andrea Sattler-Klein
Elimination of Composite Superpositions May Cause Abortion. J. Symb. Comput. 11 (3) (1991)

Andrea Sattler-Klein.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Andrea Sattler-Klein