Navegar

Colección

Datos Estadísticas

Lista de

Figueira, Santiago Daniel
30
2014
2
"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
"Characterization, definability and separation via saturated models" (2014) Areces, C.; Carreiro, F.; Figueira, S. Theoretical Computer Science. 537(C):72-86