Debido al alto tráfico generado por robots, aplicamos límites 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

Vista sencilla de ítem
bs.conference.acronymPROLE
bs.conference.nameJornadas sobre Programación y Lenguajes (PROLE)
bs.edition.date2021-09-22
bs.edition.locationMálaga
bs.edition.nameXX Jornadas de Programación y Lenguajes (PROLE 2021)
bs.proceedings.editorMartí Oliet, N.
bs.proceedings.nameActas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)
dc.contributor.affiliationIkerlan Technology Research Center, Spain
dc.contributor.affiliationUniversity of Westminster, United Kingdom
dc.contributor.affiliationUniversity of the Basque Country, Spain
dc.contributor.affiliationUniversity of the Basque Country, Spain
dc.contributor.authorAbuin, Alex
dc.contributor.authorBolotov, Alexander
dc.contributor.authorHermo, Montserrat
dc.contributor.authorLucio, Paqui
dc.contributor.emailaabuin@ikerlan.es
dc.contributor.emailA.Bolotov@westminster.ac.uk
dc.contributor.emailmontserrat.hermo@ehu.eus
dc.contributor.emailpaqui.lucio@ehu.es
dc.contributor.signatureAbuin, Alex
dc.contributor.signatureBolotov, Alexander
dc.contributor.signatureHermo, Montserrat
dc.contributor.signatureLucio, Paqui
dc.date.accessioned2021-09-22T00:00:00Z
dc.date.available2021-09-22T00:00:00Z
dc.date.issued2021-09-22
dc.description.abstract27th 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
dc.identifier.citationAbuin, 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
dc.identifier.citation-bibtex@inproceedings{11705:PROLE:2021:002, title = {{One-pass Context-based Tableaux Systems for CTL and ECTL}}, author = {Abuin, A. and Bolotov, A. and Hermo, M. and Lucio, P.}, url = {https://hdl.handle.net/11705/PROLE/2021/002}, crossref = {11705:PROLE:2021} } @proceedings{11705:PROLE:2021, title = {{Actas de las XX Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2021)}}, author = {Mart\'{i} Oliet, N.}, year = {2021}, publisher = {{Sistedes}}, }
dc.identifier.sistedes11705/PROLE/2021/002
dc.publisherSistedes
dc.relation.isformatofAlready published paper. See document contents for DOI.
dc.relation.ispartofActas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)
dc.rights.licenseCC BY-NC-ND 4.0
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectBranching-time
dc.subjectExpressiveness
dc.subjectFairness
dc.subjectTemporal Logic
dc.titleOne-pass Context-based Tableaux Systems for CTL and ECTL
dspace.entity.typeResumen
relation.isAuthorOfAbstract06788731-504b-49e5-a232-0160d755b1fb
relation.isAuthorOfAbstract1d5a2501-65a0-489d-a621-73c16cb0dc3d
relation.isAuthorOfAbstract77210fe2-d4cc-466f-9dc3-9c9b47553307
relation.isAuthorOfAbstract1c7739e6-8580-4d52-86c6-f9d511516cd3
relation.isAuthorOfAbstract.latestForDiscovery06788731-504b-49e5-a232-0160d755b1fb

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
11705-PROLE-2021-002.pdf
Tamaño:
107.8 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Verification / Temporal logics