scientific article; zbMATH DE number 7308467

MaRDI QIDQ5150149zbMATH OpenFDO

Authors Paolo Torrini, R. Heckel

Publication date 9 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2009.2

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2016064
• Combining extended retiming and unfolding for rate-optimal graph transformation
• On the Complexity of Local Graph Transformations
• scientific article; zbMATH DE number 2087493
• Graph transformation meets reversible circuits: model transformation and optimization
• Generalised compositionality in graph transformation
• Compositionality in graph transformation

Cited in

(2)

• Nested Quantification in Graph Transformation Rules
• Towards an embedding of graph transformation in intuitionistic linear logic

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 Q5150149)