Gorin, Daniel Alejadro

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-3 de 3

Artículo Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

Figueira, Santiago ; Gorin, Daniel Alejadro ; Grimson, Rafael (Elsevier Inc, 2014-04)
Artículo Integrated program verification tools in education

de Caso, Guido ; Garbervetsky, Diego David ; Gorin, Daniel Alejadro (Wiley, 2013-04)
Artículo On the formal semantics of IF-like logics

Figueira, Santiago ; Gorin, Daniel Alejadro ; Grimson, Rafael (Elsevier Inc, 2010-08)

Mostrando ítems 1-3 de 3