scientific article
From MaRDI portal
Publication:3817657
zbMath0666.68098MaRDI QIDQ3817657
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normal formsalgebraic specificationsconditional term rewriting systemscritical-pair criterionreducing systems
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
A constructor-based approach for positive/negative-conditional equational specifications ⋮ Semantics for positive/negative conditional rewrite systems ⋮ Equivalences of rewrite programs ⋮ Priority rewriting: Semantics, confluence, and conditionals ⋮ Negation with logical variables in conditional rewriting ⋮ On notions of inductive validity for first-order equational clauses
This page was built for publication:
