scientific article; zbMATH DE number 4090851
From MaRDI portal
Publication:3817656
zbMATH Open0666.68097MaRDI QIDQ3817656FDOQ3817656
Authors: Harald Ganzinger
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
Cited In (20)
- Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation
- Equation solving in conditional AC-theories
- On restrictions of ordered paramodulation with simplification
- Proving group isomorphism theorems
- Title not available (Why is that?)
- Implementing contextual rewriting
- A maximal-literal unit strategy for horn clauses
- Harald Ganzinger's legacy: contributions to logics and programming
- Title not available (Why is that?)
- Proof normalization for resolution and paramodulation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completion-time optimization of rewrite-time goal solving
- From search to computation: redundancy criteria and simplification at work
- Involutive Completion to Avoid LBB Condition
- Conditional semi-Thue systems for presenting monoids
- Consider only general superpositions in completion procedures
- Critical pair criteria for completion
- Conditional rewriting logic: Deduction, models and concurrency
- Completion of first-order clauses with equality by strict superposition
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3817656)