María Alpuente | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Santiago Escobar
11 publications
José Meseguer
8 publications
Julia Sapiña
7 publications
Demis Ballis
2 publications
Angel Cuenca-Ortega
2 publications

research

∙ 12/19/2021

Symbolic Specialization of Rewriting Logic Theories with Presto

This paper introduces Presto, a symbolic partial evaluator for Maude's r...

0 María Alpuente, et al. ∙

research

∙ 07/25/2019

Symbolic Analysis of Maude Theories with Narval

Concurrent functional languages that are endowed with symbolic reasoning...

0 María Alpuente, et al. ∙

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. ∙