Implicit induction in conditional theories
type: Item
instance of: scholarly article
title: Implicit induction in conditional theories
zbMATH Open document ID: 0819.68114
DOI: 10.1007/BF00881856
author: Adel Bouhoula
author: Michaël Rusinowitch
published in: Journal of Automated Reasoning
publication date: 1995-05-30T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 759357
zbMATH Keywords: term rewriting
zbMATH Keywords: SPIKE
zbMATH Keywords: Gilbreath card trick
describes a project that uses: SPIKE
describes a project that uses: Coq
MaRDI profile type: Publication
cites work: Automated Mathematical Induction
cites work: Q3894958
cites work: Q4385532
cites work: Q3819993
cites work: Abstract data types and software validation
cites work: Proofs by induction in equational theories with constructors
cites work: Proof by consistency
cites work: On word problems in Horn theories
cites work: Q4712663
cites work: Q4027631
cites work: Q4040341
cites work: Q3805961
description: scientific article; zbMATH DE number 759357