Certificates for decision problems in temporal logic using context- based tableaux and sequent calculi
- Doctorando/a:
- Abuin Yepes, Alex
- Año:
- 2023
- Universidad:
- Universidad del País Vasco / Euskal Herriko Unibertsitatea
- Personas encargadas de la dirección:
- Montserrat Hermo Huguet /Jorge Parra Molina