On systems of equations defining infinite graphs
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Some structural aspects of hypergraph languages generated by hyperedge replacementPublished by Springer Nature ,2005
- Graph expressions and graph rewritingsTheory of Computing Systems, 1987
- Models for multicellular development: Characterization, inference and complexity of L-systemsPublished by Springer Nature ,1987
- Equivalences and transformations of regular systems—Applications to recursive program schemes and grammarsTheoretical Computer Science, 1986
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Least fixed point of a functorJournal of Computer and System Sciences, 1979
- Frontiers of infinite treesRAIRO. Informatique théorique, 1978
- Categories for fixpoint-semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- A fixpoint theorem for complete categoriesMathematische Zeitschrift, 1968