Login / Signup

PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points.

Rémi NolletAlexis SaurinChristine Tasson
Published in: TABLEAUX (2019)
Keyphrases