Certificates for decision problems in temporal logic using context- based tableaux and sequent calculi
- Doktoregaia:
- Abuin Yepes, Alex
- Urtea:
- 2023
- Unibertsitatea:
- Universidad del País Vasco / Euskal Herriko Unibertsitatea
- Zuzendaria(k):
- Montserrat Hermo Huguet /Jorge Parra Molina