Navegar

Colección

Datos Estadísticas

Lista de

Figueira, Santiago Daniel
30
Journal of Computer and System Sciences
4
"On the formal semantics of IF-like logics" (2010) Figueira, S.; Gorín, D.; Grimson, R. Journal of Computer and System Sciences. 76(5):333-346
"Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies" (2014) Figueira, S.; Gorín, D.; Grimson, R. Journal of Computer and System Sciences. 80(6):1102-1118
"Normality in non-integer bases and polynomial time randomness" (2015) Almarza, J.I.; Figueira, S. Journal of Computer and System Sciences. 81(7):1059-1087
"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