Term Rewriting and Applications
J�rgen Giesl
Term Rewriting and Applications - 2005
978-3-540-32033-3
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Programming Languages, Compilers, Interpreters
Computer Science
Term Rewriting and Applications - 2005
978-3-540-32033-3
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Programming Languages, Compilers, Interpreters
Computer Science