The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146): Difference between revisions

@@ Property / author @@
-Simon Halfon
@@ Property / author: Simon Halfon / rank @@
-Normal rank
@@ Property / author @@
-Prateek Karandikar
@@ Property / author: Prateek Karandikar / rank @@
-Normal rank
@@ Property / author @@
-Philippe Schnoebelen
@@ Property / author: Philippe Schnoebelen / rank @@
-Normal rank
@@ Property / author @@
+Simon Halfon
@@ Property / author: Simon Halfon / rank @@
+Normal rank
@@ Property / author @@
+Prateek Karandikar
@@ Property / author: Prateek Karandikar / rank @@
+Normal rank
@@ 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 / OpenAlex ID @@
+W2941511937
@@ Property / OpenAlex ID: W2941511937 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10703
@@ Property / arXiv ID: 1904.10703 / rank @@
+Normal rank
@@ Property / cites work @@
+Timed lossy channel systems
@@ Property / cites work: Timed lossy channel systems / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Using forward reachability analysis for verification of lossy channel systems
+Normal rank
@@ Property / cites work @@
+Set systems: order types, continuous nondeterministic deformations, and quasi-orders
+Normal rank
@@ Property / cites work @@
+Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity
+Normal rank
@@ Property / cites work @@
+Computable fixpoints in well-structured symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5367063
@@ Property / cites work: Q5367063 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling infinitely branching well-structured transition systems
+Normal rank
@@ Property / cites work @@
+Q4083724
@@ Property / cites work: Q4083724 / rank @@
+Normal rank
@@ Property / cites work @@
+Free differential calculus. IV: The quotient groups of the lower central series
+Normal rank
@@ Property / cites work @@
+Well Quasi-orders in Formal Language Theory
@@ Property / cites work: Well Quasi-orders in Formal Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+The ideal theory for WSTS
@@ Property / cites work: The ideal theory for WSTS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389997
@@ Property / cites work: Q5389997 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward Analysis for WSTS, Part II: Complete WSTS
@@ Property / cites work: Forward Analysis for WSTS, Part II: Complete WSTS / 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 @@
+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 @@
+Expand, enlarge and check: new algorithms for the coverability problem of WSTS
+Normal rank
@@ Property / cites work @@
+Deciding Piecewise Testable Separability for Regular Tree Languages
+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 Downward-Closure of Petri Net Languages
@@ Property / cites work: The Downward-Closure of Petri Net Languages / 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 @@
+On free monoids partially ordered by embedding
@@ Property / cites work: On free monoids partially ordered by embedding / 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 @@
+A note on well quasi-orderings for powersets
@@ Property / cites work: A note on well quasi-orderings for powersets / rank @@
+Normal rank
@@ Property / cites work @@
+Une extension d'un théorème de P. Jullien sur les âges de mots
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+On well-quasi-ordering finite structures with labels
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+The ideal view on Rackoff's coverability technique
+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 @@
+Demystifying Reachability in Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+Q4601852
@@ Property / cites work: Q4601852 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414739
@@ Property / cites work: Q4414739 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minor theory
@@ Property / cites work: Graph minor theory / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal arithmetic: Algorithms and mechanization
@@ Property / cites work: Ordinal arithmetic: Algorithms and mechanization / rank @@
+Normal rank
@@ Property / cites work @@
+Fine analysis of the quasi-orderings on the power set
+Normal rank
@@ Property / cites work @@
+Logic, semigroups and automata on words
@@ Property / cites work: Logic, semigroups and automata on words / rank @@
+Normal rank
@@ Property / cites work @@
+Partial well‐ordering of sets of vectors
@@ Property / cites work: Partial well‐ordering of sets of vectors / 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 @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3659988
@@ Property / cites work: Q3659988 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Bounds for Ordinal-Based Termination
@@ Property / cites work: Complexity Bounds for Ordinal-Based Termination / rank @@
+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 @@
+The residue of vector sets with applications to decidability problems in Petri nets
+Normal rank
@@ Property / cites work @@
+Computing Downward Closures for Stacked Counter Automata
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3295146