scientific article; zbMATH DE number 3990847
From MaRDI portal
Publication:3753472
zbMATH Open0612.68020MaRDI QIDQ3753472FDOQ3753472
Authors: Harald Ganzinger 
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
Cited In (18)
- On theorem-proving in Horn theories with built-in algebras
- Ground confluence of order-sorted conditional specifications modulo axioms
- Improving rewriting induction approach for proving ground confluence
- Conditional narrowing modulo a set of equations
- Harald Ganzinger's legacy: contributions to logics and programming
- Using induction and rewriting to verify and complete parameterized specifications
- Priority rewriting: Semantics, confluence, and conditionals
- On word problems in Horn theories
- Simultaneous checking of completeness and ground confluence for algebraic specifications
- Proving ground confluence of equational specifications modulo axioms
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
- From search to computation: redundancy criteria and simplification at work
- Sufficient completeness verification for conditional and constrained TRS
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
- A proof system for conditional algebraic specifications
- Proofs in parameterized specifications
- Completion of first-order clauses with equality by strict superposition
- A completion procedure for conditional equations
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 Q3753472)
