scientific article; zbMATH DE number 7308467

zbMATH Open1454.68062MaRDI QIDQ5150149FDOQ5150149

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

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)