Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. DAMM, W.: Einfach-rekursive und rekursive Schemata mit stetigen Interpretationen — Diplomarbeit Bonn (1976)
2. ENGELFRIET, J.: Simple Program Schemes and Formal Languages — Lecture Notes in Computer Science 20 (1974)
3. GOGUEN, J.A., THATCHER, J.W.: Initial Algebra Semantics — IEEE Conf. Rec. SWAT 15 (1974), 63–77
4. GREIBACH, S.A.: Theory of Program Structures: Schemes, Semantics, Verification — Lecture Notes in Computer Science 36 (1975)
5. INDERMARK, K.: Theorie rekursiver Definitionen — Vorlesung, Universität Bonn (1975)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Collapsible Pushdown Automata and Recursion Schemes;ACM Transactions on Computational Logic;2017-07-31
2. IO vs OI in Higher-Order Recursion Schemes;Electronic Proceedings in Theoretical Computer Science;2012-02-14
3. Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata;Lecture Notes in Computer Science;2012
4. Simple Models for Recursive Schemes;Mathematical Foundations of Computer Science 2012;2012
5. On Infinite Terms Having a Decidable Monadic Theory;Lecture Notes in Computer Science;2002