View in EDS PDF Full Text

Inspecting Maude variants with GLINTS.

Saved in:
Bibliographic Details
Title: Inspecting Maude variants with GLINTS.
Authors: ALPUENTE, M.1, alpuente@dsic.upv.es, ESCOBAR, S.1, sescobar@dsic.upv.es, SAPI ÑA, J.1, jsapina@dsic.upv.es, CUENCA-ORTEGA, A.2, angel.cuencao@ug.edu.ec
Source: Theory & Practice of Logic Programming; Sep2017, Vol. 17 Issue 5/6, p689-707, 19p
Database: Applied Science & Technology Source
Description
ISSN:14710684
DOI:10.1017/S147106841700031X