Experiments with proof plans for induction
type: Item
instance of: scholarly article
title: Experiments with proof plans for induction
zbMATH Open document ID: 0733.68069
DOI: 10.1007/BF00249016
author: Alan Bundy
author: Frank van Harmelen
author: Jane Hesketh
author: Alan Smaill
published in: Journal of Automated Reasoning
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 4213477
zbMATH Keywords: program synthesis
zbMATH Keywords: proof plans
zbMATH Keywords: combinatorial explosion
zbMATH Keywords: theorem proving
zbMATH Keywords: mathematical induction
zbMATH Keywords: tactics
zbMATH Keywords: Searching
zbMATH Keywords: planning
Wikidata QID: Q56840274
describes a project that uses: Nuprl
describes a project that uses: Oyster
describes a project that uses: Isabelle
describes a project that uses: CLAM
MaRDI profile type: Publication
cites work: Q3804239
cites work: Q3490990
cites work: A Transformation System for Developing Recursive Programs
cites work: Q3490995
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Q3783512
cites work: Planning in a hierarchy of abstraction spaces
full work available at URL: https://doi.org/10.1007/bf00249016
OpenAlex ID: W2034500240
DBLP publication ID: journals/jar/BundyHHS91
description: scientific article; zbMATH DE number 4213477