The McCarthy's recursion induction principle: ''oldy'' but ''goody''
type: Item
instance of: scholarly article
title: The McCarthy's recursion induction principle: ''oldy'' but ''goody''
zbMATH Open document ID: 0526.68014
DOI: 10.1007/BF02576192
published in: Calcolo
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 3835324
zbMATH Keywords: recursion induction principle
zbMATH Keywords: recursive program transformations
zbMATH Keywords: program synthesis
zbMATH Keywords: LISP functions
zbMATH Keywords: theorem proving
author: Laurent Kott
MaRDI profile type: Publication
cites work: Proving Theorems about LISP Functions
cites work: A Transformation System for Developing Recursive Programs
cites work: Q4192941
cites work: Knowledge and reasoning in program synthesis
cites work: A Deductive Approach to Program Synthesis
description: scientific article; zbMATH DE number 3835324