Tableaux for Hybrid XPath with Data. Areces, C., Fervari, R., & Seiler, N. In Oliveira, E. C., Gama, J., Vale, Z. A., & Cardoso, H. L., editors, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, volume 10423, of Lecture Notes in Computer Science, pages 611–623, 2017. Springer. Paper doi bibtex @inproceedings{DBLP:conf/epia/ArecesFS17,
author = {Carlos Areces and
Raul Fervari and
Nahuel Seiler},
editor = {Eug{\'{e}}nio C. Oliveira and
Jo{\~{a}}o Gama and
Zita A. Vale and
Henrique Lopes Cardoso},
title = {Tableaux for Hybrid XPath with Data},
booktitle = {Progress in Artificial Intelligence - 18th {EPIA} Conference on Artificial
Intelligence, {EPIA} 2017, Porto, Portugal, September 5-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10423},
pages = {611--623},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65340-2\_50},
doi = {10.1007/978-3-319-65340-2\_50},
timestamp = {Mon, 30 Nov 2020 08:47:29 +0100},
biburl = {https://dblp.org/rec/conf/epia/ArecesFS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"YZewXYwYhDTjPEMWw","bibbaseid":"areces-fervari-seiler-tableauxforhybridxpathwithdata-2017","authorIDs":["Crbmah7zN8yvGFp8w"],"author_short":["Areces, C.","Fervari, R.","Seiler, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Carlos"],"propositions":[],"lastnames":["Areces"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Nahuel"],"propositions":[],"lastnames":["Seiler"],"suffixes":[]}],"editor":[{"firstnames":["Eug'enio","C."],"propositions":[],"lastnames":["Oliveira"],"suffixes":[]},{"firstnames":["João"],"propositions":[],"lastnames":["Gama"],"suffixes":[]},{"firstnames":["Zita","A."],"propositions":[],"lastnames":["Vale"],"suffixes":[]},{"firstnames":["Henrique","Lopes"],"propositions":[],"lastnames":["Cardoso"],"suffixes":[]}],"title":"Tableaux for Hybrid XPath with Data","booktitle":"Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10423","pages":"611–623","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-65340-2\\_50","doi":"10.1007/978-3-319-65340-2_50","timestamp":"Mon, 30 Nov 2020 08:47:29 +0100","biburl":"https://dblp.org/rec/conf/epia/ArecesFS17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/epia/ArecesFS17,\n author = {Carlos Areces and\n Raul Fervari and\n Nahuel Seiler},\n editor = {Eug{\\'{e}}nio C. Oliveira and\n Jo{\\~{a}}o Gama and\n Zita A. Vale and\n Henrique Lopes Cardoso},\n title = {Tableaux for Hybrid XPath with Data},\n booktitle = {Progress in Artificial Intelligence - 18th {EPIA} Conference on Artificial\n Intelligence, {EPIA} 2017, Porto, Portugal, September 5-8, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10423},\n pages = {611--623},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-65340-2\\_50},\n doi = {10.1007/978-3-319-65340-2\\_50},\n timestamp = {Mon, 30 Nov 2020 08:47:29 +0100},\n biburl = {https://dblp.org/rec/conf/epia/ArecesFS17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n","author_short":["Areces, C.","Fervari, R.","Seiler, N."],"editor_short":["Oliveira, E. C.","Gama, J.","Vale, Z. A.","Cardoso, H. L."],"key":"DBLP:conf/epia/ArecesFS17","id":"DBLP:conf/epia/ArecesFS17","bibbaseid":"areces-fervari-seiler-tableauxforhybridxpathwithdata-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-65340-2\\_50"},"metadata":{"authorlinks":{"fervari, r":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/117/9953.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.html?view=bibtex","creationDate":"2021-03-11T01:47:07.502Z","downloads":0,"keywords":[],"search_terms":["tableaux","hybrid","xpath","data","areces","fervari","seiler"],"title":"Tableaux for Hybrid XPath with Data","year":2017,"dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge"]}