scientific article

zbMath0764.68098MaRDI QIDQ4035654

Jean-Pierre Jouannaud

Publication date: 18 May 1993

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

zbMATH Keywords

Church-Rosser propertytermination propertyrewriting is

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: