ISBN9783642389450 (pbk. : alk. paper)
9783642389467 (e-ISBN)
一般注記Abstracts and papers.
"TLCA 2013 was part of (...) (RDP 2013), together with the 24th International Conference on Rewriting Techniques and Applications (RTA 2013), the Workshop on Control Operators and their Semantics (COS 2013), the Workshop on Haskell And Rewriting Techniques (HART 2013), the 11th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2013), the 27th International Workshop on Unification (UNIF 2013), the Second International Workshop on Confluence (IWC 2013), the Workshop on Infinitary Rewriting (WIR 2013), and the annual meeting of the IFIP Working Group 1.6 on Term Rewriting." -- pref.
書誌注記Includes bibliographical references and author index.