TY - BOOK ID - 127211660 TI - Term rewriting and applications : 16th International conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings AU - Giesl, Jürgen AU - International conference on rewriting techniques and applications (16th : 2005 : Nara, Japan) PY - 2005 SN - 9783540255963 3540255966 PB - Berlin: Springer, DB - UniCat KW - Rewriting systems (Computer science) UR - https://www.unicat.be/uniCat?func=search&query=sysid:127211660 AB - ER -