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

Descrizione completa

Dettagli Bibliografici

Ente Autore:	International Workshop on Rewriting Logic and its Applications ( Grenoble, Francia)
Altri autori:	Escobar, Santiago (edición) (edición)
Natura:	Atti del Convegno Libro
Lingua:	inglese
Pubblicazione:	Cham, Suiza : Springer, 2014, c2014
Serie:	(Lecture Notes in Computer Science ; 8663)
Soggetti:	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
Accesso online:	Ver documento en línea
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!