Navegar

Colección

Datos Estadísticas

Lista de

Journal of Computer and System Sciences
8
2017
2
"Decidability of order-based modal logics" (2017) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. Journal of Computer and System Sciences. 88:53-74
"Axiomatizations for downward XPath on data trees" (2017) Abriola, S.; Descotte, M.E.; Fervari, R.; Figueira, S. Journal of Computer and System Sciences. 89:209-245