View in EDS PDF Full Text

Termination of Rewriting under Strategies.

Saved in:
Bibliographic Details
Title: Termination of Rewriting under Strategies.
Authors: Gnaedig, Isabelle1, Isabelle.Gnaedig@loria.fr, Inria, Hélène Kirchner1, Helene.Kirchner@loria.fr
Source: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p10-10.52, 52p, 6 Charts
Database: Applied Science & Technology Source
Description
ISSN:15293785
DOI:10.1145/1462179.1462182