Complexity Hierarchies beyond Elementary (Q2828216): Difference between revisions

@@ Property / OpenAlex ID @@
+W3125224867
@@ Property / OpenAlex ID: W3125224867 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5686
@@ Property / arXiv ID: 1312.5686 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+A classification of the expressive power of well-structured transition systems
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535172
@@ Property / cites work: Q4535172 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearizing well quasi-orders and bounding the length of bad sequences
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+On the verification problem for weak memory models
+Normal rank
@@ Property / cites work @@
+Graph Logics with Rational Relations
@@ Property / cites work: Graph Logics with Rational Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Exact bounds for lengths of reductions in typed <i>λ</i>-calculus
+Normal rank
@@ Property / cites work @@
+Model Checking Coverability Graphs of Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+On termination and invariance for faulty channel machines
+Normal rank
@@ Property / cites work @@
+Q3457215
@@ Property / cites work: Q3457215 / rank @@
+Normal rank
@@ Property / cites work @@
+Unreliable channels are easier to verify than perfect channels
+Normal rank
@@ Property / cites work @@
+Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems
+Normal rank
@@ Property / cites work @@
+The ω-Regular Post Embedding Problem
@@ Property / cites work: The ω-Regular Post Embedding Problem / rank @@
+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 @@
+Q4934292
@@ Property / cites work: Q4934292 / 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 @@
+Counter machines and counter languages
@@ Property / cites work: Counter machines and counter languages / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal complexity of recursive definitions
@@ Property / cites work: Ordinal complexity of recursive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215632
@@ Property / cites work: Q4215632 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifications of Recursive Functions by Means of Hierarchies
+Normal rank
@@ Property / cites work @@
+Alternating register automata on finite words and trees
+Normal rank
@@ Property / cites work @@
+Relating timed and register automata
@@ Property / cites work: Relating timed and register automata / rank @@
+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 @@
+Q3771630
@@ Property / cites work: Q3771630 / 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 @@
+Q5824357
@@ Property / cites work: Q5824357 / 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 equality problem for vector addition systems is undecidable
+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 @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / 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 @@
+Undecidability of bisimilarity for Petri nets and some related problems
+Normal rank
@@ Property / cites work @@
+Nonprimitive recursive complexity and undecidability for Petri net equivalences
+Normal rank
@@ Property / cites work @@
+Alternating automata on data trees and XPath satisfiability
+Normal rank
@@ Property / cites work @@
+The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
+Normal rank
@@ Property / cites work @@
+Generalized Post embedding problems
@@ Property / cites work: Generalized Post embedding problems / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+A structure to decide reachability in Petri nets
@@ Property / cites work: A structure to decide reachability in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating timed automata
@@ Property / cites work: Alternating timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian
+Normal rank
@@ Property / cites work @@
+Nonelementary Complexities for Branching VASS, MELL, and Extensions
+Normal rank
@@ Property / cites work @@
+Vector addition system reachability problem
@@ Property / cites work: Vector addition system reachability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Demystifying Reachability in Vector Addition Systems
+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 @@
+Petri nets and large finite sets
@@ Property / cites work: Petri nets and large finite sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133967
@@ Property / cites work: Q4133967 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+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 @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Classes of Predictably Computable Functions
@@ Property / cites work: Classes of Predictably Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of recursive functions based on Ackermann's function
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / 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 @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank
@@ Property / cites work @@
+Q3322086
@@ Property / cites work: Q3322086 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and Computations
@@ Property / cites work: Proofs and Computations / rank @@
+Normal rank
@@ Property / cites work @@
+The typed lambda-calculus is not elementary recursive
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+On pebble automata for data languages with decidable emptiness problem
+Normal rank
@@ Property / cites work @@
+History-Register Automata
@@ Property / cites work: History-Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank
@@ Property / cites work @@
+The complexity of decision procedures in relevance logic II
+Normal rank
@@ Property / cites work @@
+The most nonelementary theory
@@ Property / cites work: The most nonelementary theory / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank
@@ Property / cites work @@
+Complexity bounds for some finite forms of Kruskal's theorem
+Normal rank
@@ Property / Wikidata QID @@
+Q130988297
@@ Property / Wikidata QID: Q130988297 / rank @@
+Normal rank