scientific article; zbMATH DE number 3891336
From MaRDI portal
Publication:3347863
zbMATH Open0559.03019MaRDI QIDQ3347863FDOQ3347863
Authors:
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
Cited In (26)
- Sound lemma generation for proving inductive validity of equations
- Constructor-Based Inductive Theorem Prover
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
- Title not available (Why is that?)
- Proofs by induction in equational theories with constructors
- Proving equational and inductive theorems by completion and embedding techniques
- Partial evaluation and \(\omega\)-completeness of algebraic specifications
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- Title not available (Why is that?)
- Proof by consistency
- Automatic proofs by induction in theories without constructors
- The equational part of proofs by structural induction
- Which data types have \(\omega\)-complete initial algebra specifications?
- Title not available (Why is that?)
- Inductive proof search modulo
- Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs
- A criterion for proving noetherianity of a relation
- Proof by consistency in conditional equational theories
- Title not available (Why is that?)
- Equational methods in first order predicate calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer Science Logic
- Inductive proofs by specification transformations
- A strong restriction of the inductive completion procedure
- On solving the equality problem in theories defined by Horn clauses
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 Q3347863)