×

Found 61 Documents (Results 1–61)

100
MathJax

Termination of single-threaded one-rule semi-Thue systems. (English) Zbl 1078.03034

Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 338-352 (2005).
MSC:  03D03 68Q42
PDF BibTeX XML Cite
Full Text: DOI

The graphs of finite monadic semi-Thue systems have a decidable monadic second-order theory. (English) Zbl 0967.03008

Calude, C. S. (ed.) et al., Combinatorics, computation & logic. Proceedings of DMTCS ’99 and CATS ’99. Auckland, New Zealand, January 18-21, 1999. Singapore: Springer. Aust. Comput. Sci. Commun. 21, 3, 273-285 (1999).
MSC:  03B25 03D03 68Q42
PDF BibTeX XML Cite

Termination und Konfluenz von Semi-Thue-Systemen mit nur einer Regel. (Termination and confluence of semi-Thue-systems with a single rule). (German) Zbl 0719.03019

Clausthal: Techn. Univ. Clausthal, Math.-Naturwiss. Fak., Diss. vii, 189 S. (1990).
MSC:  03D03 68Q42 20M05
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software