Reduction Strategies and Acyclicity

J.W. Klop, V. van Oostrom, F. van Raamsdonk

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)89-112
JournalLecture Notes in Computer Science
Volume4600
Publication statusPublished - 2007

Bibliographical note

jpj60
Proceedings title: Rewriting, Computation and Proof, Essays Dedicated to Jouannaud, J.-P. on the Occassion of His 60th Birthday. Paris, France.
Publisher: Springer-Verlag
Editors: H. Comon-Lundh, C. Kirchner, H. Kirchner

Cite this