2 citations · 6 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 2 cited
Most General Variant Unifiers
Santiago Escobar, Julia Sapiña
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. Equational unification…
cs.LO2019
Symbolic Analysis of Maude Theories with Narval
María Alpuente, Demis Ballis, Santiago Escobar +1
Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing…