Sesión 4. Languages

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

1. A Simulation Tool for tccp Programs (Trabajo de alto nivel)
   María del Mar Gallardo / Leticia Lavado / Laura Panizo / 
2. 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 /