2 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar +1
This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated…