On the length of medial-switch-mix derivations

DOI10.1007/978-3-662-55386-2_5zbMath1496.03237OpenAlexW2724330153MaRDI QIDQ1685911

Paola Bruscoli, Lutz Straßburger

Publication date: 20 December 2017

Full work available at URL: http://opus.bath.ac.uk/56221/1/sm_length.pdf

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Complexity of proofs (03F20)

Related Items (2)

An Analytic Propositional Proof System on Graphs ⋮ On the logical philosophy of assertive graphs

This page was built for publication: On the length of medial-switch-mix derivations