Computer Science Logic
From MaRDI portal
Publication:5292628
DOI10.1007/b13224zbMath1116.03335MaRDI QIDQ5292628
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b13224
Related Items
Intermutation, Cut elimination inside a deep inference system for classical predicate logic, On the Power of Substitution in the Calculus of Structures, Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic