E. L. Post. Recursive unsolvability of a problem of thue. Journal of Symbolic Logic, 12:1--11, 1947. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Decidable First-Order Theories of One-Step Rewriting in Trace.. - Kuske, Lohrey (Correct)
Some Complexity Results for Polynomial Ideals - Mayr (1997) (1 citation) (Correct)
All Countable Monoids Embed In The Monoid Of The Infinite .. - Bonato, Delic, Dolinka (Correct)
Undecidability of Existential Properties in Picture Languages - Robilliard, Simplot (1999) (Correct)
Word Problems for 2-Homogeneous Monoids and Symmetric Logspace - Lohrey (Correct)
Type Inference with Recursive Types at Different Ranks - Pericas-Geertsen (1994) (Correct)
Trees and Term Rewriting in 1910: On a Paper by Axel Thue - Steinby, Thomas (Correct)
Type Inference for Recursive Definitions - Kfoury, Pericas-Geertsen (2000) (1 citation) (Correct)
Normalized Rewriting: an alternative to Rewriting modulo a Set of .. - Marché (1996) (7 citations) (Correct)
Type Inference for Recursive Definitions - Kfoury, Pericás-Geertsen (2000) (1 citation) (Correct)
Word Problems and Confluence Problems for Restricted Semi-Thue.. - Lohrey (Correct)
Consistency Checking in Complex Object Database.. - Beneventano.. (1998) (5 citations) (Correct)
Axel Thue's work on repetitions in words - Berstel (1992) (18 citations) (Correct)
A New Lower Bound Construction for Commutative Thue Systems, with.. - Yap (1997) (2 citations) (Correct)
Normalised Rewriting and Normalised Completion - Marche (1994) (9 citations) (Correct)
Combination Techniques for Non-Disjoint Equational Theories - Domenjoud, Klay, Ringeissen (1994) (38 citations) (Correct)
Rewrite Systems - Dershowitz, Jouannaud (1990) (737 citations) (Correct)
Decision Problems for Propositional Linear Logic - Lincoln, Mitchell, Scedrov.. (1994) (67 citations) (Correct)
Embedding Defaults into Terminological Knowledge.. - Baader, Hollunder (1995) (47 citations) (Correct)
Thue Trees - Marcinkowski, Pacholski (Correct)
Databases and Finite-Model Theory - Vianu (1997) (2 citations) (Correct)
Type Inference for Recursive Definitions - Kfoury, Pericas-Geertsen (2000) (1 citation) (Correct)
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) (Correct)
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) (Correct)
Decision Problems for Propositional Linear Logic - Patrick Lincoln John (1992) (67 citations) (Correct)
On the Theory of One-Step Rewriting in Trace Monoids - Kuske, Lohrey (Correct)
On Polynomial Ideals, Their Complexity, and Applications - Mayr (1995) (Correct)
The Sources of Certainty in Computation and Formal Systems - O'Donnell (1999) (Correct)
The Sources of Certainty in Computation and Formal Systems - O'Donnell (1999) (Correct)
Remarks on Generalized Post Correspondence Problem - Karhumäki, Krob (1996) (4 citations) Self-citation (Post) (Correct)
Primitive and Partial Rewriting - Dershowitz (2000) Self-citation (Post) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC