- idUS
- Investigación
- Ciencias
- Matemática Aplicada I
- Ponencias (Matemática Aplicada I)
- Listar Ponencias (Matemática Aplicada I) por autor
Listar Ponencias (Matemática Aplicada I) por autor "Aranda Corral, Gonzalo A."
Mostrando ítems 1-2 de 2
-
Ponencia
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena (Springer, 2009)We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...
-
Ponencia
Extending Attribute Exploration by Means of Boolean Derivatives
Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena; Hidalgo Doblado, María José (CEUR-WS, 2008)We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ...