Un algebra de modulos reflexiva con aplicaciones al lenguaje maude.

Tesis doctoral de Francisco Javier Duran Muñoz En esta tesis hemos definido un álgebra de módulos extensible para la lógica […]

, , , , ,