scientific article
From MaRDI portal
Publication:3757390
zbMath0621.68022MaRDI QIDQ3757390
Françoise Bellegarde, Pierre Lescanne
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Program transformation and rewriting, A complete characterization of termination of 0p 1q→1r 0s, Termination of rewriting, Termination by completion, Proving termination of (conditional) rewrite systems. A semantic approach, Abstract abstract reduction