Clausal Analysis of First-order Proof Schemata

MaRDI QIDQ7136681arXivFDO

Authors David M. Cerna, Michael Peter Lettmann

Publication date 2017

Published in arXiv

arXiv classification

math.LO

This page was built for publication: Clausal Analysis of First-order Proof Schemata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7136681)