Special issue: Rewriting techniques and applications. Selected papers from the 12th international conference, RTA 2001, Utrecht University, Utrecht, The Netherlands, May 22-24, 2001.

DOI10.1016/S0890-5401(03)00036-1MaRDI QIDQ1434840zbMATH OpenOpenAlexFDO

Authors

Publication date 16 July 2004

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0890-5401(03)00036-1

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

The articles of this volume will be reviewed individually. Additional papers of RTA 2001 have been reviewed (see Zbl 0967.00070). The preceding conference (11, 2000) has been reviewed (see Zbl 0941.00035).

Recommendations

• Rewriting techniques and applications. Bordeaux, France, May 25--27, 1987. Proceedings. (2nd International Conference)
• Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
• Rewriting logic and its applications (extended selected papers from WRLA 2014)
• Rewriting logic and its applications (extended selected papers from WRLA 2014)
• Editor's foreword

Cited in

(4)

• Rewriting techniques and applications. Bordeaux, France, May 25--27, 1987. Proceedings. (2nd International Conference)
• Foreword to the special issue on security and rewriting techniques
• Rewriting logic and its applications (extended selected papers from WRLA 2014)
• Rewriting logic and its applications (extended selected papers from WRLA 2014)

This page was built for publication: Special issue: Rewriting techniques and applications. Selected papers from the 12th international conference, RTA 2001, Utrecht University, Utrecht, The Netherlands, May 22-24, 2001.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1434840)