Cover Image

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 /

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014. The 13 revised full papers presented together with 3 invited pap...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Escobar, Santiago. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Theoretical Computer Science and General Issues ; 8663
Subjects:
Computer logic.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Mathematical logic.
Computers.
Logics and Meanings of Programs.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Models and Principles.
Online Access:https://doi.org/10.1007/978-3-319-12904-4
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/978-3-319-12904-4

Similar Items