Languages
Lucanu, Dorel.
Overview
| Works: | 4 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Rewriting logic and its applications = 11th International Workshop, WRLA 2016, held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers /
by:
SpringerLink (Online service); Lucanu, Dorel.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Rewriting Logic and Its Applications = 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /
by:
Lucanu, Dorel.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Computer logic
Computer logic.
Software engineering.
Computers.
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Models and Principles.