Q5092331 (Q5092331): Difference between revisions

@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Linearizing well quasi-orders and bounding the length of bad sequences
+Normal rank
@@ Property / cites work @@
+Q3150203
@@ Property / cites work: Q3150203 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursivite et cônes rationnels fermés par intersection
+Normal rank
@@ Property / cites work @@
+Ordinal recursive bounds for Higman's theorem
@@ Property / cites work: Ordinal recursive bounds for Higman's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On the finite containment problem for Petri nets
@@ Property / cites work: On the finite containment problem for Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+On Freeze LTL with Ordered Attributes
@@ Property / cites work: On Freeze LTL with Ordered Attributes / rank @@
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Future-Looking Logics on Data Words and Trees
@@ Property / cites work: Future-Looking Logics on Data Words and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+History-Register Automata
@@ Property / cites work: History-Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Priority Channel Systems
@@ Property / cites work: The Power of Priority Channel Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets
+Normal rank
@@ Property / cites work @@
+Senescent ground tree rewrite systems
@@ Property / cites work: Senescent ground tree rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Trace inclusion for one-counter nets revisited
@@ Property / cites work: Trace inclusion for one-counter nets revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states
+Normal rank
@@ Property / cites work @@
+The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+Zeno, Hercules, and the Hydra
@@ Property / cites work: Zeno, Hercules, and the Hydra / rank @@
+Normal rank
@@ Property / cites work @@
+Nonelementary Complexities for Branching VASS, MELL, and Extensions
+Normal rank
@@ Property / cites work @@
+The Complexity of Coverability in ν-Petri Nets
@@ Property / cites work: The Complexity of Coverability in ν-Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic functions. I
@@ Property / cites work: Hierarchies of number-theoretic functions. I / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of the Finite Containment Problem for Petri Nets
+Normal rank
@@ Property / cites work @@
+Undecidable problems in unreliable computations.
@@ Property / cites work: Undecidable problems in unreliable computations. / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and large finite sets
@@ Property / cites work: Petri nets and large finite sets / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+The fixed initial credit problem for partial-observation energy games is \textsc{Ack}-complete
+Normal rank
@@ Property / cites work @@
+Ordinal recursive complexity of unordered data nets
+Normal rank
@@ Property / cites work @@
+Complexity Hierarchies beyond Elementary
@@ Property / cites work: Complexity Hierarchies beyond Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+Multiply-Recursive Upper Bounds with Higman’s Lemma
+Normal rank
@@ Property / cites work @@
+The Power of Well-Structured Systems
@@ Property / cites work: The Power of Well-Structured Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank
@@ Property / cites work @@
+Lossy Counter Machines Decidability Cheat Sheet
@@ Property / cites work: Lossy Counter Machines Decidability Cheat Sheet / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank
@@ Property / cites work @@
+Proofs and Computations
@@ Property / cites work: Proofs and Computations / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of decision procedures in relevance logic II
+Normal rank
@@ Property / cites work @@
+Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
+Normal rank
@@ Property / cites work @@
+Complexity bounds for some finite forms of Kruskal's theorem
+Normal rank