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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	International Workshop on Rewriting Logic and its Applications ( Grenoble, Francia)
Weitere Verfasser:	Escobar, Santiago (edición) (edición)
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Cham, Suiza : Springer, 2014, c2014
Schriftenreihe:	(Lecture Notes in Computer Science ; 8663)
Schlagworte:	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
Online-Zugang:	Ver documento en línea
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!