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

@@ 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