Navegar

Colección

Datos Estadísticas

Lista de

2014
1426
Journal of Computer and System Sciences
1
"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