17
Publications
384
Citations
12
H-Index
2006
Active since
Ángel Mora is an author at Universidad de Málaga specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningData ScienceFormal MethodsKnowledge DiscoveryData MiningFormal VerificationLanguageSemantics
Publications per year
2006–2023
17
17
Closure via functional dependence simplification
Ángel Mora, Pablo Cordero, Manuel Enciso et al. · International Journal of Computer Mathematics · 2012 · 46 citations
Rows per page
1–5 of 17