scientific article; zbMATH DE number 2043538

zbMath1038.68067MaRDI QIDQ4447242

Jürgen Giesl, Hans Zantema

Publication date: 16 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060321.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Termination of string rewriting proved automatically ⋮ Termination of Cycle Rewriting by Transformation and Matrix Interpretation ⋮ A Transformational Approach to Prove Outermost Termination Automatically