Sergio Abriola / Detalle de Publicación

Definability for Downward and Vertical XPath on Data Trees

Autores: Sergio Abriola, María Emilia Descotte, Santiago Figueira

Lecture notes in computer science

2014 Citas: 5

Citas por Año

Citas Importadas de Google Scholar

# Título del Artículo Año Fuente / Journal Autores
1 Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization 2015 - Diego Figueira, Santiago Figueira, Carlos Areces
2 Bisimulations on Data Graphs 2018 - Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
3 Hilbert-Style Axiomatization for Hybrid XPath with Data 2016 - Carlos Areces, Raul Fervari
4 Axiomatizing Hybrid XPath with Data 2021 - Carlos Areces, Raul Fervari
5 Sequent Calculi for Data-Aware Modal Logics 2025 - Carlos Areces, Valentín Cassano, Danae Dutto, Raul Fervari

El PDF fue subido pero no se pudieron extraer referencias ni figuras del documento.