Sesión 4. Languages

Listado de artículos correspondientes a la sesión:

1. Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Tutorial)
   Francisco Durán / Steven Eker / Santiago Escobar / Narciso Martí-Oliet / José Meseguer / Carolyn Talcott / 
2. A Simulation Tool for tccp Programs (Trabajo de alto nivel)
   María del Mar Gallardo / Leticia Lavado / Laura Panizo /