scientific article; zbMATH DE number 3891336
From MaRDI portal
Publication:3347863
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
- scientific article; zbMATH DE number 3870639 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 4166886 (Why is no real title available?)
- Proof by consistency
- Automatic proofs by induction in theories without constructors
- The equational part of proofs by structural induction
- Which data types have -complete initial algebra specifications?
- scientific article; zbMATH DE number 3956434 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 4047063 (Why is no real title available?)
- Equational methods in first order predicate calculus
- scientific article; zbMATH DE number 4164162 (Why is no real title available?)
- scientific article; zbMATH DE number 4074451 (Why is no real title available?)
- Computer Science Logic
- A strong restriction of the inductive completion procedure
- Inductive proofs by specification transformations
- 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)
