Sergio Abriola

Available identifiers

zbMath Open abriola.sergioMaRDI QIDQ744982

List of research outcomes

Publication	Date of Publication	Type
An epistemic approach to model uncertainty in data-graphs	2023-09-04	Paper
On the Complexity of Finding Set Repairs for Data-Graphs	2023-08-28	Paper
Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)	2022-06-24	Paper
Bisimulations on Data Graphs	2018-03-07	Paper
Axiomatizations for downward XPath on data trees	2017-09-07	Paper
Model theory of XPath on data trees. II: Binary bisimulation and definability	2017-09-04	Paper
Logics of Repeating Values on Data Trees and Branching Counter Systems	2017-05-19	Paper
Linearizing well quasi-orders and bounding the length of bad sequences	2015-10-12	Paper
Definability for Downward and Vertical XPath on Data Trees	2015-01-13	Paper
Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders	2012-09-21	Paper

Research outcomes over time

This page was built for person: Sergio Abriola