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