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

Rmi Nollet, Alexis Saurin, Christine Tasson

Browse the full TABLEAUX paper archive.