scientific article; zbMATH DE number 919850
From MaRDI portal
Recommendations
Cited in
(9)- A calculus of concurrent graph-rewriting processes
- An approach to declarative programming based on a rewriting logic
- A structural/temporal query language for business processes
- Proving correctness of logically decorated graph rewriting systems
- Logic based structure rewriting systems
- scientific article; zbMATH DE number 219232 (Why is no real title available?)
- A kernel language for programmed rewriting of (hyper)graphs
- On edge addition rewrite systems and their relevance to program analysis
- Attributed graph rewriting system
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4890715)