scientific article; zbMATH DE number 1302503
From MaRDI portal
Publication:4249033
zbMATH Open0924.03016MaRDI QIDQ4249033FDOQ4249033
Authors: Jürgen Avenhaus, Klaus Madlener 
Publication date: 31 August 1999
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1008505
- A calculus for conditional inductive theorem proving
- scientific article; zbMATH DE number 4090849
- Inductive theorem proving based on tree grammars
- Inductive theorem proving by consistency for first-order clauses
- Inductive theorem proving for design specifications
- scientific article; zbMATH DE number 1300967
- scientific article; zbMATH DE number 3965464
- A proof system for conditional algebraic specifications
semanticsHorn clauseinductive theorem provingalgebraic specification languageinductive validityconditional specifications over built-in algebras
Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)
Cited In (8)
- On notions of inductive validity for first-order equational clauses
- Focused Inductive Theorem Proving
- A calculus for conditional inductive theorem proving
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conditional equational specifications of data types with partial operations for inductive theorem proving
- Inductive theorem proving based on tree grammars
- Inductive theorem proving for design specifications
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 Q4249033)
