Treinen, Ralf.
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings / [electronic resource] : edited by Ralf Treinen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5595 0302-9743 ; . - Lecture Notes in Computer Science, 5595 .
9783642023484
10.1007/978-3-642-02348-4 doi
Computer science.
Logic design.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings / [electronic resource] : edited by Ralf Treinen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5595 0302-9743 ; . - Lecture Notes in Computer Science, 5595 .
9783642023484
10.1007/978-3-642-02348-4 doi
Computer science.
Logic design.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131