scientific article
From MaRDI portal
Publication:3696496
zbMath0576.68012MaRDI QIDQ3696496
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Implementing contextual rewriting, Confluence of terminating membership conditional TRS, Completion of first-order clauses with equality by strict superposition, Proof by consistency in conditional equational theories, Confluence of the disjoint union of conditional term rewriting systems, Conditional rewrite rule systems with built-in arithmetic and induction, Rewriting with a nondeterministic choice operator, Incorporating decision procedures in implicit induction., Constraint contextual rewriting., On ground-confluence of term rewriting systems, A rationale for conditional equational programming, Order-sorted completion: The many-sorted way, Harald Ganzinger’s Legacy: Contributions to Logics and Programming, Conditional narrowing modulo a set of equations, A completion procedure for conditional equations, Automatic proofs by induction in theories without constructors, Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
