External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reduction Strategies and Acyclicity

Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk. Reduction Strategies and Acyclicity. In Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, editors, Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Volume 4600 of Lecture Notes in Computer Science, pages 89-112, Springer, 2007. [doi]

Authors

Jan Willem Klop

This author has not been identified. It may be one of the following persons: Look up 'Jan Willem Klop' in Google

Vincent van Oostrom

This author has not been identified. Look up 'Vincent van Oostrom' in Google

Femke van Raamsdonk

This author has not been identified. Look up 'Femke van Raamsdonk' in Google
runs on