scientific article
From MaRDI portal
Publication:3761697
zbMath0623.68047MaRDI QIDQ3761697
Deepak Kapur, Paliath Narendran, Han-Tao Zhang
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normal formsterm rewriting systemsPSPACE-hardequational specificationssufficient-completeness property
Related Items (2)
Sufficient-completeness, ground-reducibility and their complexity ⋮ On ground-confluence of term rewriting systems
This page was built for publication: