Found: 18
Select item for more details and to access through your institution.
The Structure of Infinite Solutions of Marked and Binary Post Correspondence Problems.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 1, p. 43, doi. 10.1007/s00224-005-1222-6
- By:
- Publication type:
- Article
New proof for the undecidability of the circular PCP.
- Published in:
- Acta Informatica, 2013, v. 50, n. 5/6, p. 331, doi. 10.1007/s00236-013-0183-5
- By:
- Publication type:
- Article
Improved matrix pair undecidability results.
- Published in:
- Acta Informatica, 2007, v. 44, n. 3/4, p. 191, doi. 10.1007/s00236-007-0047-y
- By:
- Publication type:
- Article
Highly Tuneable Photochromic Sodalites for Dosimetry, Security Marking and Imaging.
- Published in:
- Advanced Functional Materials, 2023, v. 33, n. 42, p. 1, doi. 10.1002/adfm.202303398
- By:
- Publication type:
- Article
MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM.
- Published in:
- International Journal of Algebra & Computation, 2008, v. 18, n. 8, p. 1231, doi. 10.1142/S0218196708004925
- By:
- Publication type:
- Article
Generalized Post Correspondence Problem for Marked Morphisms.
- Published in:
- International Journal of Algebra & Computation, 2000, v. 10, n. 6, p. 757, doi. 10.1142/S0218196700000376
- By:
- Publication type:
- Article
On bi-infinite and conjugate post correspondence problems.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2023, v. 57, p. 1, doi. 10.1051/ita/2023008
- By:
- Publication type:
- Article
THE THEOREM OF FINE AND WILF FOR RELATIONAL PERIODS.
- Published in:
- RAIRO - Theoretical Informatics & Applications, 2009, v. 43, n. 2, p. 209, doi. 10.1051/ita:2008025
- By:
- Publication type:
- Article
Word problem for deterministic and reversible semi-Thue systems.
- Published in:
- Semigroup Forum, 2014, v. 88, n. 2, p. 468, doi. 10.1007/s00233-013-9550-3
- By:
- Publication type:
- Article
On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem.
- Published in:
- Acta Cybernetica, 2020, v. 24, n. 4, p. 613, doi. 10.14232/actacyb.284625
- By:
- Publication type:
- Article
Defect theorems with compatibility relations.
- Published in:
- Semigroup Forum, 2008, v. 76, n. 1, p. 1, doi. 10.1007/s00233-007-9013-9
- By:
- Publication type:
- Article
On Markov's Undecidability Theorem for Integer Matrices.
- Published in:
- Semigroup Forum, 2007, v. 75, n. 1, p. 173, doi. 10.1007/s00233-007-0714-x
- By:
- Publication type:
- Article
Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time.
- Published in:
- International Journal of Foundations of Computer Science, 2024, v. 35, n. 1/2, p. 129, doi. 10.1142/S0129054123480076
- By:
- Publication type:
- Article
Integer Weighted Automata on Infinite Words.
- Published in:
- International Journal of Foundations of Computer Science, 2023, v. 34, n. 2/3, p. 163, doi. 10.1142/S0129054122440014
- By:
- Publication type:
- Article
REDUCTION TREE OF THE BINARY GENERALIZED POST CORRESPONDENCE PROBLEM.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 2, p. 473, doi. 10.1142/S0129054111008143
- By:
- Publication type:
- Article
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 5, p. 775, doi. 10.1142/S0129054109006875
- By:
- Publication type:
- Article
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2008, v. 19, n. 4, p. 915, doi. 10.1142/S0129054108006030
- By:
- Publication type:
- Article
UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 931, doi. 10.1142/S0129054107005066
- By:
- Publication type:
- Article