WQO is decidable for factorial languages (Q2407108): Difference between revisions

@@ Property / OpenAlex ID @@
+W2743994595
@@ Property / OpenAlex ID: W2743994595 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially well-ordered closed sets of permutations
+Normal rank
@@ Property / cites work @@
+Labelled induced subgraphs and well-quasi-ordering
+Normal rank
@@ Property / cites work @@
+Deciding WQO for Factorial Languages
@@ Property / cites work: Deciding WQO for Factorial Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Simple permutations: Decidability and unavoidable substructures
+Normal rank
@@ Property / cites work @@
+Minimal antichains in well-founded quasi-orders with an application to tournaments
+Normal rank
@@ Property / cites work @@
+Automata and forbidden words
@@ Property / cites work: Automata and forbidden words / rank @@
+Normal rank
@@ Property / cites work @@
+Induced subgraphs and well‐quasi‐ordering
@@ Property / cites work: Induced subgraphs and well‐quasi‐ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Well quasi-orders and regular languages
@@ Property / cites work: Well quasi-orders and regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Subgraphs and well‐quasi‐ordering
@@ Property / cites work: Subgraphs and well‐quasi‐ordering / 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 @@
+When excluding one matroid prevents infinite antichains
+Normal rank
@@ Property / cites work @@
+Two forbidden induced subgraphs and well-quasi-ordering
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+Letter graphs and well-quasi-order by induced subgraphs
+Normal rank
@@ Property / cites work @@
+Q5668845
@@ Property / cites work: Q5668845 / 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 @@
+An infinite antichain of permutations
@@ Property / cites work: An infinite antichain of permutations / rank @@
+Normal rank