Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /

Selección de ponencias presentadas en el décimo Taller Internacional sobre Reescritura de Lógica y sus Aplicaciones, celebrado en Grenoble, Francia, en marzo de 2014. Los artículos abordan diversos temas relacionados con los fundamentos y los modelos de reescritura de lógica, tales como, marco lógic...

Descripción completa

Detalles Bibliográficos

Autor corporativo:	International Workshop on Rewriting Logic and its Applications ( Grenoble, Francia)
Otros autores:	Escobar, Santiago (edición) (edición)
Formato:	Procedimiento de la conferencia Libro
Idioma:	Inglés
Publicado:	Cham, Suiza : Springer, 2014, c2014
Colección:	(Lecture Notes in Computer Science ; 8663)
Temas:	Intérpretes (Software) Compiladores (Software) Lenguajes de Programación Lenguajes Formales Programación (Software) Ingeniería de Software Sistemas de Reescritura (Informática) - > Tema Principal Modelos Matemáticos Lógica Matemática - > Congresos - > Tema Principal Ingeniería Computacional
Acceso en línea:	Ver documento en línea
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!