scientific article
From MaRDI portal
Publication:3341883
zbMath0549.68022MaRDI QIDQ3341883
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmChurch-Rosser theoremconfluent rewriting systemComplete Minimal Set of Contextual Normal Forms
This page was built for publication:
