-
1by Alpuente Frasnedo, María, Escobar Román, Santiago, Sapiña-Sanchis, Julia, Ballis, Demis“... in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification...”
Published in Theory and Practice of Logic Programming (2019)
Get access
Get access
Article in Journal/Newspaper -
2by Alpuente Frasnedo, María, Escobar Román, Santiago, Sapiña-Sanchis, Julia, Ballis, Demis“... in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification...”
Published in Theory and Practice of Logic Programming (2019)
Get access
Get access
Article in Journal/Newspaper