Figueira, Diego

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-3 de 3

Artículo Bisimulations on data graphs

Abriola, Sergio Alejandro ; Barceló, Pablo; Figueira, Diego; Figueira, Santiago (AI Access Foundation, 2018-01)
Artículo Model Theory of XPath on Data Trees: Part I: Bisimulation and Characterization

Figueira, Diego; Figueira, Santiago ; Areces, Carlos Eduardo (AI Access Foundation, 2015-07)
Artículo The expressive power of memory logics

Areces, Carlos Eduardo ; Figueira, Diego; Figueira, Santiago ; Mera, Sergio Fernando (Cambridge University Press, 2011-06)

Mostrando ítems 1-3 de 3