scientific article
From MaRDI portal
Publication:3817652
zbMath0666.68093MaRDI QIDQ3817652
G. Sivakumar, Nachum Dershowitz
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
An universal termination condition for solving goals in equational languages ⋮ Completion-time optimization of rewrite-time goal solving ⋮ Narrowing directed by a graph of terms ⋮ Equation solving in conditional AC-theories ⋮ Specification and proof in membership equational logic ⋮ Termination of narrowing via termination of rewriting
This page was built for publication:
