Resumen:
One-pass Context-based Tableaux Systems for CTL and ECTL

Fecha

2021-09-22

Editor

Sistedes

Publicado en

Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)

Licencia

CC BY-NC-ND 4.0

Resumen

27th International Symposium on Temporal Representation and Reasoning, TIME 2020. 23-25 September 2020 - Bozen-Bolzano, Italy. LIPIcs, Vol 178, pages 14:1-14:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. doi: 10.4230/LIPIcs.TIME.2020.14

Descripción

Acerca de Abuin, Alex

Palabras clave

Branching-time, Expressiveness, Fairness, Temporal Logic
Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX