Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.

Bianca Boretti, Sara Negri

Browse the full TABLEAUX paper archive.