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: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S147106841700031X