Travelled to:1 × Italy
1 × Japan
1 × Spain
Collaborated with:∅ F.Otto K.Madlener
Talks about:monoid (3) present (2) finit (2) undecidablil (1) phenomena (1) converg (1) complet (1) automat (1) versus (1) result (1)
Person: Andrea Sattler-Klein
DBLP: Sattler-Klein:Andrea
Contributed to:
199819971991Wrote 3 papers:
- RTA-1998-OttoSM #automation #convergence #finite #monad
- Automatic Monoids Versus Monoids with Finite Convergent Presentations (FO, ASK, KM), pp. 32–46.
- RTA-1997-Sattler-Klein #monad
- New Undecidablility Results for Finitely Presented Monoids (ASK), pp. 68–82.
- RTA-1991-Sattler-Klein
- Divergence Phenomena during Completion (ASK), pp. 374–385.