scientific article
From MaRDI portal
Publication:3702509
zbMath0579.68026MaRDI QIDQ3702509
Publication date: 1985
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 (8)
Consider only general superpositions in completion procedures ⋮ History and basic features of the critical-pair/completion procedure ⋮ Critical pair criteria for completion ⋮ Multi-completion with termination tools ⋮ Sufficient set of integrability conditions of an orthonomic system ⋮ Unnecessary inferences in associative-commutative completion procedures ⋮ Redundancy criteria for constrained completion ⋮ Redundancy criteria for constrained completion
This page was built for publication:
