Invariant-free deduction systems for temporal logic

Tesis doctoral de Jose Gaintzarain Ibarmia In this thesis we propose a new approach to deductionmethods for temporal logic. Our […]

, , , , ,