scientific article
From MaRDI portal
Publication:3817656
zbMath0666.68097MaRDI QIDQ3817656
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 (11)
Proving group isomorphism theorems ⋮ Implementing contextual rewriting ⋮ A maximal-literal unit strategy for horn clauses ⋮ Conditional rewriting logic: Deduction, models and concurrency ⋮ Completion of first-order clauses with equality by strict superposition ⋮ Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation ⋮ Proof normalization for resolution and paramodulation ⋮ Completion-time optimization of rewrite-time goal solving ⋮ Conditional semi-Thue systems for presenting monoids ⋮ Harald Ganzinger’s Legacy: Contributions to Logics and Programming ⋮ From Search to Computation: Redundancy Criteria and Simplification at Work
This page was built for publication:
