Q5009706 (Q5009706): Difference between revisions

@@ Property / cites work @@
+Q5187271
@@ Property / cites work: Q5187271 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+A new system of proof-theoretic ordinal functions
@@ Property / cites work: A new system of proof-theoretic ordinal functions / rank @@
+Normal rank
@@ Property / cites work @@
+An independence result for \((\Pi^ 1_ 1-CA)+BI\)
@@ Property / cites work: An independence result for \((\Pi^ 1_ 1-CA)+BI\) / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis of termination proofs
@@ Property / cites work: Proof-theoretic analysis of termination proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Path Orderings
@@ Property / cites work: Graph Path Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Drags: a compositional algebraic framework for graph rewriting
+Normal rank
@@ Property / cites work @@
+The Hydra Battle Revisited
@@ Property / cites work: The Hydra Battle Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Gap Embedding for Well-Quasi-Orderings
@@ Property / cites work: Gap Embedding for Well-Quasi-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Local Termination: theory and practice
@@ Property / cites work: Local Termination: theory and practice / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Fractran and Productivity
@@ Property / cites work: Complexity of Fractran and Productivity / rank @@
+Normal rank
@@ Property / cites work @@
+Highlights in infinitary rewriting and lambda calculus
+Normal rank
@@ Property / cites work @@
+De Bruijn's weak diamond property revisited
@@ Property / cites work: De Bruijn's weak diamond property revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Decreasing diagrams with two labels are complete for confluence of countable systems
+Normal rank
@@ Property / cites work @@
+Proving non-termination by finite automata
@@ Property / cites work: Proving non-termination by finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958383
@@ Property / cites work: Q2958383 / rank @@
+Normal rank
@@ Property / cites work @@
+What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
+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 @@
+A direct independence proof of Buchholz's Hydra Game on finite labeled trees
+Normal rank
@@ Property / cites work @@
+Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Q4315890
@@ Property / cites work: Q4315890 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Interpretations for Higher-Order Rewriting
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+Q4428306
@@ Property / cites work: Q4428306 / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative Lexicographic Path Orders
@@ Property / cites work: Iterative Lexicographic Path Orders / rank @@
+Normal rank
@@ Property / cites work @@
+A Higher-Order Iterative Path Ordering
@@ Property / cites work: A Higher-Order Iterative Path Ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Q3881899
@@ Property / cites work: Q3881899 / rank @@
+Normal rank
@@ Property / cites work @@
+The Hydra battle and Cichon's principle
@@ Property / cites work: The Hydra battle and Cichon's principle / rank @@
+Normal rank
@@ Property / cites work @@
+Simple termination of rewrite systems
@@ Property / cites work: Simple termination of rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite graphs—A survey
@@ Property / cites work: Infinite graphs—A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Note on a proof of the extended Kirby-Paris theorem on labelled finite trees
+Normal rank
@@ Property / cites work @@
+Q5489367
@@ Property / cites work: Q5489367 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534935
@@ Property / cites work: Q5534935 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5297489
@@ Property / cites work: Q5297489 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity bounds for some finite forms of Kruskal's theorem
+Normal rank