scientific article; zbMATH DE number 7205326

DOI10.4230/LIPICS.RTA.2012.85MaRDI QIDQ5111898zbMATH OpenFDO

Authors Thibaut Balabonski

Publication date 27 May 2020

zbMATH Keywords

graphshigher ordersharingnon-orthogonalityabstract term rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• The separability axiom and equal-sharing methods
• Sharing in the graph rewriting calculus
• scientific article; zbMATH DE number 1617334
• Coherence for sharing proof nets
• A general theory of sharing graphs
• Coherence for sharing proof-nets
• scientific article; zbMATH DE number 1393359
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Axiomatization of the counting rule for cost-sharing with possibly redundant items
• Soundness, idempotence and commutativity of set-sharing

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