Pumping lemmas for term languages (Q1250713): Difference between revisions

@@ Property / author @@
+Thomas S. E. Maibaum
@@ Property / author: Thomas S. E. Maibaum / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-0000(78)90012-0
+Normal rank
@@ Property / OpenAlex ID @@
+W1973562412
@@ Property / OpenAlex ID: W1973562412 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed Grammars—An Extension of Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree generating regular systems
@@ Property / cites work: Tree generating regular systems / rank @@
+Normal rank
@@ Property / cites work @@
+On derivation trees of indexed grammars - an extension of the uvwxy- theorem
+Normal rank
@@ Property / cites work @@
+A generalized approach to formal languages
@@ Property / cites work: A generalized approach to formal languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3239817
@@ Property / cites work: Q3239817 / rank @@
+Normal rank
@@ Property / cites work @@
+Intercalation theorems for stack languages
@@ Property / cites work: Intercalation theorems for stack languages / rank @@
+Normal rank
@@ Property / cites work @@
+Mappings and grammars on trees
@@ Property / cites work: Mappings and grammars on trees / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sequential machine maps
@@ Property / cites work: Generalized sequential machine maps / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / Wikidata QID @@
+Q124819654
@@ Property / Wikidata QID: Q124819654 / rank @@
+Normal rank