Automata-driven automated induction
type: Item
instance of: scholarly article
title: Automata-driven automated induction
zbMATH Open document ID: 1008.03009
author: Adel Bouhoula
author: Jean-Pierre Jouannaud
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1853190
zbMATH Keywords: inductive theorem proving
zbMATH Keywords: tree automata
zbMATH Keywords: complete axiomatization
zbMATH Keywords: finite trees
describes a project that uses: Maude
describes a project that uses: PVS
describes a project that uses: NQTHM
MaRDI profile type: Publication
OpenAlex ID: W2120053687
cites work: Using induction and rewriting to verify and complete parameterized specifications
cites work: Automated theorem proving by test set induction
cites work: Specification and proof in membership equational logic
cites work: Implicit induction in conditional theories
cites work: Q3490989
cites work: Encompassment properties and automata with constraints
cites work: Q3805960
cites work: Inductive proofs by specification transformations
cites work: Equational formulae with membership constraints
cites work: A methodological view of constraint solving
cites work: Q5753923
cites work: Q4385532
cites work: A rationale for conditional equational programming
cites work: Q3719824
cites work: Q3883561
cites work: Automatic proofs by induction in theories without constructors
cites work: Conditional rewrite rules
cites work: Positive and negative results for higher-order disunification
cites work: Tree automata help one to solve equational formulae in AC-theories
cites work: Q4222853
cites work: Q3805961
DOI: 10.1006/INCO.2001.3036
Recommended article: Automated Mathematical Induction
Recommended article: Automated mathematical induction
Recommended article: Q3345810
Recommended article: Automated Induction with Constrained Tree Automata
Recommended article: Automating Inductive Proofs Using Theory Exploration
Recommended article: Automating Induction with an SMT Solver
Recommended article: Q4934147
Recommended article: Automated theorem proving by test set induction
Recommended article: Automated Reasoning with Analytic Tableaux and Related Methods
description: scientific article; zbMATH DE number 1853190