scientific article; zbMATH DE number 7205326
From MaRDI portal
Publication:5111898
DOI10.4230/LIPICS.RTA.2012.85zbMATH Open1437.68076MaRDI QIDQ5111898FDOQ5111898
Authors: Thibaut Balabonski 
Publication date: 27 May 2020
Title of this publication is not available (Why is that?)
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)
