research
∙
05/17/2020
Bouncing threads for infinitary and circular proofs
We generalize the validity criterion for the infinitary proof system of ...
share
research
∙
04/10/2018
