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
Discrete Mathematics in Computer Science.
Rewriting systems (Computer science)
Computer Science.
Algorithms
Symbolic and Algebraic Manipulation.
Programming Languages, Compilers, Interpreters.
Computer programming
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.