Buscar por Autor San Martín, Hernán Javier
Mostrando resultados 1 a 6 de 6
Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
---|---|---|---|
abr-2016 | A Categorical Equivalence Motivated by Kalman’s Construction | Sagastume, Marta Susana; San Martín, Hernán Javier | - |
2011 | Álgebras de Heyting con sucesor | San Martín, Hernán Javier | SEDICI |
23-may-2018 | Frontal operators in distributive lattices with a generalized implication | Celani, Sergio Arturo; San Martín, Hernán Javier | - |
oct-2017 | l-Hemi-Implicative Semilattices | Castiglioni, José Luis; San Martín, Hernán Javier | - |
1-may-2015 | Programación funcional : fundamentos revisados | Bonelli, Eduardo; Martínez López, Pablo | Repositorio Digital de Acceso Abierto RIDAA-UNQ |
oct-2014 | The logic Ł• | Sagastume, Marta Susana; San Martín, Hernán Javier | - |