The ω-Regular Post Embedding Problem (Q5458353): Difference between revisions

@@ Property / author @@
+Philippe Schnoebelen
@@ Property / author: Philippe Schnoebelen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78499-9_8
+Normal rank
@@ Property / OpenAlex ID @@
+W100843780
@@ Property / OpenAlex ID: W100843780 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable verification problems for programs with unreliable channels
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150203
@@ Property / cites work: Q3150203 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
+Normal rank
@@ Property / cites work @@
+Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems
+Normal rank
@@ Property / cites work @@
+Constraint-based automatic verification of abstract models of multithreaded programs
+Normal rank
@@ Property / cites work @@
+Une généralisation des théorèmes de Higman et de Simon aux mots infinis
+Normal rank
@@ Property / cites work @@
+Non-primitive recursive decidability of products of modal logics with expanding domains
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Nets with Tokens Which Carry Data
@@ Property / cites work: Nets with Tokens Which Carry Data / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank