2018
DOI: 10.48550/arxiv.1801.04163
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

A Tableaux Calculus for Reducing Proof Size

Help me understand this report

This publication either has no citations yet, or we are still processing them

Set email alert for when this publication receives citations?

See others like this or search for similar articles