Login / Signup

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

Bianca BorettiSara Negri
Published in: TABLEAUX (2009)
Keyphrases