Univ.-Prof. Dr. Aart Middeldorp   
Home Events Research Teaching
Research
publications activities projects CSI FORT TTT2
Publications
edited books articles in journals papers in proceedings miscellaneous

22nd International Conference on Rewriting Techniques and Applications (RTA 2011)

Manfred Schmidt-Schauss and Aart Middeldorp (eds.)
special issue, Logical Methods in Computer Science, 2013

preface   link
© Creative Commons