Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Dieter Hofbauer. Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 62-73, Springer, Como, Italy, 1991.

The following publications are possibly variants of this publication:

Termination Proofs for Ground Rewrite Systems - Interpretations and Derivational ComplexityDieter Hofbauer. aaecc, 12(1/2):21-38, 2001. [doi]

Termination Proofs for String Rewriting Systems via Inverse Match-BoundsAlfons Geser, Dieter Hofbauer, Johannes Waldmann. JAR, 34(4):365-385, 2005. [doi]

runs on WebDSL