Undecidability of infinite post correspondence problem for instances of size 8
RAIRO-Theor. Inf. Appl., 46 3 (2012) 451-457
Published online: 2012-06-22
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
On the Monniaux Problem in Abstract Interpretation
Nathanael Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly and James WorrellJournal of the ACM 72 (2) 1 (2025)
https://doi.org/10.1145/3704632
Porous invariants for linear systems
Engel Lefaucheux, Joël Ouaknine, David Purser and James WorrellFormal Methods in System Design 63 (1-3) 235 (2024)
https://doi.org/10.1007/s10703-024-00444-3
On bi-infinite and conjugate post correspondence problems
Olivier Finkel, Vesa Halava, Tero Harju and Esa SahlaRAIRO - Theoretical Informatics and Applications 57 7 (2023)
https://doi.org/10.1051/ita/2023008
Computer Aided Verification
Engel Lefaucheux, Joël Ouaknine, David Purser and James WorrellLecture Notes in Computer Science, Computer Aided Verification 12760 172 (2021)
https://doi.org/10.1007/978-3-030-81688-9_8
Developments in Language Theory
Vesa Halava, Tero Harju, Reino Niskanen and Igor PotapovLecture Notes in Computer Science, Developments in Language Theory 12811 167 (2021)
https://doi.org/10.1007/978-3-030-81508-0_14
Weighted automata on infinite words in the context of Attacker–Defender games
V. Halava, T. Harju, R. Niskanen and I. PotapovInformation and Computation 255 27 (2017)
https://doi.org/10.1016/j.ic.2017.05.001
Evolving Computability
Vesa Halava, Tero Harju, Reino Niskanen and Igor PotapovLecture Notes in Computer Science, Evolving Computability 9136 206 (2015)
https://doi.org/10.1007/978-3-319-20028-6_21