scientific article; zbMATH DE number 1405631
From MaRDI portal
Publication:4938610
zbMath0946.68068MaRDI QIDQ4938610
Maria C. F. Ferreira, A. L. B. Ribeiro
Publication date: 23 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Proving termination of context-sensitive rewriting by transformation ⋮ Proving operational termination of membership equational programs ⋮ Context-sensitive dependency pairs ⋮ Applications and extensions of context-sensitive rewriting ⋮ Lazy Rewriting and Context-Sensitive Rewriting ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy ⋮ Context-sensitive rewriting strategies
This page was built for publication:
