Languages
Treinen, Ralf.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Rewriting techniques and applications = 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /
by:
SpringerLink (Online service); Treinen, Ralf.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Subjects
Rewriting systems (Computer science)
Discrete Mathematics in Computer Science.
Algorithms
Computer Science.
Computer programming
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.