scientific article; zbMATH DE number 7205326

DOI10.4230/LIPICS.RTA.2012.85zbMATH Open1437.68076MaRDI QIDQ5111898

Thibaut Balabonski

Publication date: 27 May 2020

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

zbMATH Keywords

graphshigher ordersharingnon-orthogonalityabstract term rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The separability axiom and equal-sharing methods 👍 👎
• Coherence for sharing proof-nets 👍 👎
• A general theory of sharing graphs 👍 👎
• Axiomatization of the counting rule for cost-sharing with possibly redundant items 👍 👎
• Sharing in the Graph Rewriting Calculus 👍 👎
• Soundness, idempotence and commutativity of set-sharing 👍 👎
• Coherence for sharing proof nets 👍 👎
• Processes, Terms and Cycles: Steps on the Road to Infinity 👍 👎

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)