scientific article
From MaRDI portal
Publication:3809306
zbMath0659.68114MaRDI QIDQ3809306
Nachum Dershowitz, Leo Bachmair
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Completion procedures as semidecision procedures, Complete sets of reductions modulo associativity, commutativity and identity, Consider only general superpositions in completion procedures, Extension of the associative path ordering to a chain of associative commutative symbols, Critical pair criteria for completion, Linear and unit-resulting refutations for Horn theories, Unnamed Item, Equational completion in order-sorted algebras, Learning domain knowledge to improve theorem proving, Unnamed Item, Schematization of infinite sets of rewrite rules generated by divergent completion processes, Automating Theories in Intuitionistic Logic, The equational part of proofs by structural induction, Proving termination of (conditional) rewrite systems. A semantic approach
