Complexity of Deep Inference via Atomic Flows

DOI10.1007/978-3-642-30870-3_15zbMath1358.03088OpenAlexW45015213MaRDI QIDQ2904403

Anupam Das

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_15

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Related Items (2)

On the Power of Substitution in the Calculus of Structures ⋮ On linear rewriting systems for Boolean logic and some applications to proof theory

This page was built for publication: Complexity of Deep Inference via Atomic Flows