scientific article; zbMATH DE number 1948501

zbMath1015.68106MaRDI QIDQ4412115

Aart Middeldorp, Jürgen Giesl

Publication date: 13 July 2003

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18)

Related Items (6)

Relaxing monotonicity for innermost termination ⋮ Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Usable Rules for Context-Sensitive Rewrite Systems ⋮ Proving Termination Properties with mu-term ⋮ Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting

Uses Software

• CafeOBJ

This page was built for publication: