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

@@ 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