Termination of Term Rewriting by Semantic Labelling - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Hans Zantema. Termination of Term Rewriting by Semantic Labelling. Fundamenta Informaticae, 24(1/2):89-105, 1995.

The following publications are possibly variants of this publication:

Total Termination of Term RewritingMaria C. F. Ferreira, Hans Zantema. aaecc, 7(2):133-162, 1996. [doi]

Termination of Term Rewriting by InterpretationHans Zantema. ctrs 1993: 155-167

Total Termination of Term RewritingMaria C. F. Ferreira, Hans Zantema. RTA 1993: 213-227

The Termination Hierarchy for Term RewritingHans Zantema. aaecc, 12(1/2):3-19, 2001. [doi]

Total Termination of Term Rewriting is UndecidableHans Zantema. JSC, 20(1):43-60, 1995.

runs on WebDSL