scientific article; zbMATH DE number 2090535
From MaRDI portal
Publication:4812967
zbMath1045.68033MaRDI QIDQ4812967
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010302.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
MELL in the calculus of structures ⋮ An Analytic Propositional Proof System on Graphs ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Linear Lambda Calculus and Deep Inference ⋮ System BV is NP-complete ⋮ System NEL is Undecidable ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On structuring proof search for first order linear logic ⋮ Constructing weak simulations from linear implications for processes with private names
This page was built for publication:
