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

Cijeli opis

Bibliografski detalji

Autor kompanije:	International Workshop on Rewriting Logic and its Applications ( Grenoble, Francia)
Daljnji autori:	Escobar, Santiago (edición) (edición)
Format:	Izvještaj sastanka Knjiga
Jezik:	engleski
Izdano:	Cham, Suiza : Springer, 2014, c2014
Serija:	(Lecture Notes in Computer Science ; 8663)
Teme:	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 pristup:	Ver documento en línea
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!