Rewriting Logic and Its Applications
Santiago Escobar
Rewriting Logic and Its Applications - Springer 2014 - Lecture Notes in Computer Science .
9783319129044
Logics and Meanings of Programs; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Models and Principles
Rewriting Logic and Its Applications - Springer 2014 - Lecture Notes in Computer Science .
9783319129044
Logics and Meanings of Programs; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Models and Principles