dblp.uni-trier.dewww.uni-trier.de

Andrea Sattler-Klein Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
13EEAndrea Sattler-Klein: Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings. FCT 2007: 470-481
12EEAndrea Sattler-Klein: An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings. STACS 2007: 308-319
2000
11EEFriedrich Otto, Andrea Sattler-Klein: The Property Fdt is Undecidable for Finitely Presented Monoids that Have Polynomial-Time Decidable Word Problems. IJAC 10(3): 285-308 (2000)
1998
10EEFriedrich Otto, Andrea Sattler-Klein, Klaus Madlener: Automatic Monoids Versus Monoids with Finite Convergent Presentations. RTA 1998: 32-46
1997
9 Friedrich Otto, Andrea Sattler-Klein: FDT is Undecidable for Finitely Presented Monoids with Solvable Word Problems. FCT 1997: 388-399
8EEAndrea Sattler-Klein: New Undecidablility Results for Finitely Presented Monoids. RTA 1997: 68-82
1996
7 David A. Plaisted, Andrea Sattler-Klein: Proof Lengths for Equational Completion. Inf. Comput. 125(2): 154-170 (1996)
1994
6EEAndrea Sattler-Klein: About Changing the Ordering During Knuth-Bendix Completion. STACS 1994: 175-186
1993
5 Klaus Madlener, Andrea Sattler-Klein, Friedrich Otto: On the Problem of Generating Small Convergent Systems. J. Symb. Comput. 16(2): 167-187 (1993)
1992
4EEKlaus Madlener, Friedrich Otto, Andrea Sattler-Klein: Generating Small Convergent Systems Can Be Extremely Hard. ISAAC 1992: 299-308
3EEAndrea Sattler-Klein: Infinite, Canonical String Rewriting Systems Generated by Completion. LPAR 1992: 433-444
1991
2EEAndrea Sattler-Klein: Divergence Phenomena during Completion. RTA 1991: 374-385
1 Andrea Sattler-Klein: Elimination of Composite Superpositions May Cause Abortion. J. Symb. Comput. 11(3): 205-211 (1991)

Coauthor Index

1Klaus Madlener [4] [5] [10]
2Friedrich Otto [4] [5] [9] [10] [11]
3David A. Plaisted [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)