Logic programming as hypergraph Rewriting
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 275-295
- https://doi.org/10.1007/3-540-53982-4_16
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Aspects of concurrency in graph grammarsPublished by Springer Nature ,2005
- Graph rewriting in some categories of partial morphismsPublished by Springer Nature ,2005
- Parallelism and concurrency in high-level replacement systemsMathematical Structures in Computer Science, 1991
- Graph Grammars and Their Application to Computer SciencePublished by Springer Nature ,1991
- Is parallelism already concurrency? Part 1: Derivations in graph grammarsPublished by Springer Nature ,1987
- May we introduce to you: Hyperedge replacementPublished by Springer Nature ,1987
- Graph-Grammars and Their Application to Computer SciencePublished by Springer Nature ,1987
- Graph-Grammars and Their Application to Computer SciencePublished by Springer Nature ,1983
- Graph-Grammars and Their Application to Computer Science and BiologyPublished by Springer Nature ,1979
- Categories for the Working MathematicianPublished by Springer Nature ,1971