Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi.

Regimantas Pliuskevicius

Browse the full MFCS paper archive.