Angel Cuenca-Ortega | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Santiago Escobar
11 publications
José Meseguer
8 publications
Julia Sapiña
7 publications
María Alpuente
4 publications

research

∙ 08/15/2018

Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms

The Homeomorphic Embedding relation has been amply used for defining ter...

0 María Alpuente, et al. ∙

research

∙ 07/18/2017

Inspecting Maude Variants with GLINTS

This paper introduces GLINTS, a graphical tool for exploring variant nar...

0 María Alpuente, et al. ∙