A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL.

Hacene Sebih, Kamel Barkaoui

Browse the full PDPTA paper archive.