Deriving graphs from graphs by applying a production
- 1 January 1975
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 4 (4) , 337-357
- https://doi.org/10.1007/bf00289616
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Stream Processing FunctionsIBM Journal of Research and Development, 1975
- Initial algebra semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- Graph-grammars: An algebraic approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1973
- Characterizations of flowchartable recursionsJournal of Computer and System Sciences, 1973
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Procedure linkage optimization working paperPublished by Association for Computing Machinery (ACM) ,1973
- Correct and optimal implementations of recursion in a simple programming languagePublished by Association for Computing Machinery (ACM) ,1973
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970