Coding in the existential theory of concatenation-Reference-Cited by-同舟云学术

Coding in the existential theory of concatenation

Published:1987-12 Issue:1 Volume:26 Page:101-106
ISSN:0933-5846
Container-title:Archiv für Mathematische Logik und Grundlagenforschung
language:en
Short-container-title:Arch math Logik

Author:

Büchi J. Richard,Senger Steven

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF02017493.pdf

Reference6 articles.

1. Hmelevskii, Ju.I.: Equations in Free Semigroups. Trudy Mat. Inst. Steklov. Vol. 107 (1971)

2. Makanin, G.S.: The Problem of Solvability of Equations in a Free Semigroup. Math. USSR Sbornik Vol. 32 Number 2 (1977) pg. 129–198

3. Makanin, G.S.: The Problem of Solvability of Equations in a Free Semigroup. Soviet Math. Dokl. Vol. 18 Number 2 (1977) pg. 330–334

4. Senger, S.: The Existential Theory of Concatenation. Ph. D. Dissertation, Purdue University (1982)

5. Taimanov, A.D., Hmelevskii, Ju.I.: Decidability of the Universal Theory of a Free Semigroup. Russian) Sibirsk. Mat. Z. 21 (1980, no. 1, pg. 228–230

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Variants and satisfiability in the infinitary unification wonderland;Journal of Logical and Algebraic Methods in Programming;2023-08

2. First-order concatenation theory with bounded quantifiers;Archive for Mathematical Logic;2020-05-23

3. Decidable and Undecidable Fragments of First-Order Concatenation Theory;Sailing Routes in the World of Computation;2018

4. Equations in the Partial Semigroup of Words with Overlapping Products;Lecture Notes in Computer Science;2012

5. On equations in free semigroups with certain constraints on their solutions;Journal of Mathematical Sciences;2009-04-14