Proving containment of bounded AFL (Q1230665): Difference between revisions

@@ Property / cites work @@
+Multi-stack-counter languages
@@ Property / cites work: Multi-stack-counter languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5664823
@@ Property / cites work: Q5664823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066625
@@ Property / cites work: Q4066625 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal AFL
@@ Property / cites work: Principal AFL / rank @@
+Normal rank
@@ Property / cites work @@
+Images of AFL under certain families of homomorphisms
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Regular Sets
@@ Property / cites work: Bounded Regular Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution and bounded languages
@@ Property / cites work: Substitution and bounded languages / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic and ultrarealtime languages
@@ Property / cites work: Characteristic and ultrarealtime languages / rank @@
+Normal rank
@@ Property / cites work @@
+Checking automata and one-way stack languages
@@ Property / cites work: Checking automata and one-way stack languages / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic operators on full semiAFLs
@@ Property / cites work: Syntactic operators on full semiAFLs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5799732
@@ Property / cites work: Q5799732 / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Three theorems concerning principal AFLs
@@ Property / cites work: Three theorems concerning principal AFLs / rank @@
+Normal rank