BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sattler-Klein:Andrea

Contributed to:

RTA 19981998
RTA 19971997
RTA 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.