Monadic recursion schemes: The effect of constants (Q1259576): Difference between revisions

@@ Property / author @@
+Sheila A. Greibach
@@ Property / author: Sheila A. Greibach / 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(79)90034-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2046796873
@@ Property / OpenAlex ID: W2046796873 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable Properties of Monadic Functional Schemas
+Normal rank
@@ Property / cites work @@
+Equivalence problems for deterministic context-free languages and monadic recursion schemes
+Normal rank
@@ Property / cites work @@
+The inclusion problem for simple languages
@@ Property / cites work: The inclusion problem for simple languages / rank @@
+Normal rank
@@ Property / cites work @@
+Simple context-free languages and free monadic recursion schemes
+Normal rank
@@ Property / cites work @@
+Functional schemas with nested predicates
@@ Property / cites work: Functional schemas with nested predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Program schemes, recursion schemes, and formal languages
+Normal rank
@@ Property / cites work @@
+One-way stack automata
@@ Property / cites work: One-way stack automata / rank @@
+Normal rank
@@ Property / cites work @@
+A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+Q5517672
@@ Property / cites work: Q5517672 / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+On Ianov's Program Schemata
@@ Property / cites work: On Ianov's Program Schemata / rank @@
+Normal rank