Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic

From MaRDI portal
Publication:3179185

DOI10.1007/978-3-319-41579-6_24zbMath1461.68248OpenAlexW2479250907MaRDI QIDQ3179185

Bruno Woltzenlogel Paleo

Publication date: 21 December 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-41579-6_24





Uses Software


Cites Work


This page was built for publication: Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic