Periodo de publicación recogido
|
|
|
A graphical user interface for Maude-NPA
Sonia Santiago, Carolyn Talcott, Santiago Escobar Román, Catherine Meadows, José Meseguer Guaita
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.), Ginés Damián Moreno Valverde (ed. lit.), Ricardo Peña Marí (ed. lit.), 2009, ISBN 978-84-692-4600-9, págs. 185-200
Language Prototyping in the Maude Metalanguage
Manuel Clavel, Francisco Durán Muñoz, Steven Eker, Patrick Lincoln, Narciso Mart-Oliet, José Meseguer Guaita
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.), Fernando Cuartero Gómez (ed. lit.), Diego Cazorla López (ed. lit.), 2001, págs. 93-110
A formal framework for model management
Arturo Boronat Moll
Tesis doctoral dirigida por José Angel Carsí Cubel (dir. tes.), José Meseguer Guaita (dir. tes.), Isidro Ramos Salavert (dir. tes.). Universitat Politècnica de València (2007).
Reflexión, abstracción y simulación en la lógica de reescritura
Tesis doctoral dirigida por José Meseguer Guaita (dir. tes.), Narciso Martí Oliet (dir. tes.). Universidad Complutense de Madrid (2005).
Un álgebra de módulos reflexiva con aplicaciones al lenguaje Maude
Tesis doctoral dirigida por José Meseguer Guaita (dir. tes.). Universidad de Málaga (1999).
Reflection in general logics and in rewriting logic with applications to the maude languaje
Tesis doctoral dirigida por José Meseguer Guaita (dir. tes.). Universidad de Navarra (1998).
Sobre dos lógicas categóricas: lógica lineal y álgebra con tipos ordenados
Tesis doctoral dirigida por José Meseguer Guaita (dir. tes.). Universidad Complutense de Madrid (1991).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados