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ó completa

Dades bibliogràfiques

Autor corporatiu:	International Workshop on Rewriting Logic and its Applications ( Grenoble, Francia)
Altres autors:	Escobar, Santiago (edición)
Format:	Actes de congresos Llibre
Idioma:	anglès
Publicat:	Cham, Suiza : Springer, 2014, c2014
Col·lecció:	(Lecture Notes in Computer Science ; 8663)
Matèries:	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
Accés en línia:	Ver documento en línea
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!