LoRea (Logic and Reasoning) - GIU 21/044
![Foto de LoRea (Logic and Reasoning) - GIU 21/044](/img/grupo.png)
![Foto de Basque Research and Technology Alliance](/img/noimage_org.png)
Basque Research and Technology Alliance
Mendaro, EspañaPublicaciones en colaboración con investigadoras/es de Basque Research and Technology Alliance (1)
2020
-
One-pass context-based tableaux systems for CTL and ECTL
Leibniz International Proceedings in Informatics, LIPIcs