Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

On Congruences and Homomorphisms on Some Non-deterministic Algebras.

I. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez, und M. Ojeda-Aciego. IJCCI, Seite 59-67. INSTICC Press, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pablo Molina Vogelsang University of Stuttgart

Juan Pablo Segovia Gutierrez University of Stuttgart

Dr. Pablo Alejandro Mora Pinto University of Stuttgart

Pablo Filipe Santana Chacon University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Bases for closed sets of implicants and implicates in temporal logic.P. Cordero, M. Enciso, und I. de Guzmán. Acta Inf., 38 (9): 599-619 (2002)On the definition of suitable orderings to generate adjunctions over an unstructured codomain.F. García-Pardo, I. Cabrera, P. Cordero, M. Ojeda-Aciego, und F. Rodríguez-Sanchez. Inf. Sci., (2014)A temporal negative normal form which preserves implicants and implicates.I. de Guzmán, M. Enciso, und P. Cordero. Journal of Applied Non-Classical Logics, 10 (3-4): 243-272 (2000)Interpretome: A Freely Available, Modular, and Secure Personal Genome Interpretation Engine.K. Karczewski, R. Tirrell, P. Cordero, N. Tatonetti, J. Dudley, K. Salari, M. Snyder, R. Altman, und S. Kim. Pacific Symposium on Biocomputing, Seite 339-350. World Scientific Publishing, (2012)Closure via functional dependence simplification.A. Mora, P. Cordero, M. Enciso, I. Fortes, und G. Aguilera. Int. J. Comput. Math., 89 (4): 510-526 (2012)Automated prover for attribute dependencies in data with grades.R. Belohlávek, P. Cordero, M. Enciso, A. Mora, und V. Vychodil. Int. J. Approx. Reasoning, (2016)Reducing the search space by closure and simplification paradigms.F. Picazo, P. Cordero, M. Enciso, und A. Mora. The Journal of Supercomputing, 73 (1): 75-87 (2017)Direct-optimal basis computation by means of the fusion of simplification rules.E. Lorenzo, K. Bertet, P. Cordero, M. Enciso, und A. Mora. Discrete Applied Mathematics, (2018)Computing Left-Minimal Direct Basis of implications.P. Cordero, M. Enciso, A. Mora, und M. Ojeda-Aciego. CLA, Volume 1062 von CEUR Workshop Proceedings, Seite 293-298. CEUR-WS.org, (2013)Computing Minimal Generators from Implications: a Logic-guided Approach.P. Cordero, M. Enciso, A. Mora, und M. Ojeda-Aciego. CLA, Volume 972 von CEUR Workshop Proceedings, Seite 187-198. CEUR-WS.org, (2012)