Debido al alto tráfico generado por robots, estamos aplicando limitaciones en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

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

Miniatura

Archivos

11705-PROLE-2021-002.pdf (107.8 KB)

Fecha

2021-09-22

Autores

Editor

Sistedes

Publicado en

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

Licencia Creative Commons

CC BY-NC-ND 4.0
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

Enlace permanente

https://hdl.handle.net/11705/PROLE/2021/002

Colecciones

PROLE 2021 (Málaga) • Verification / Temporal logics

Citación

Texto planoBibTeX

Abuin, A., Bolotov, A., Hermo, M., Lucio, P.: One-pass Context-based Tableaux Systems for CTL and ECTL. In: Martí Oliet, N. (ed.) Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021). Sistedes (2021). https://hdl.handle.net/11705/PROLE/2021/002

Página completa del ítem
Notificar un error en este resumen