Inductive reasoning on recursive equations
type: Item
instance of: scholarly article
title: Inductive reasoning on recursive equations
zbMATH Open document ID: 0426.68089
DOI: 10.1016/0004-3702(79)90007-9
author: Frank Malloy Brown
author: Sten-Åke Tärnlund
published in: Artificial Intelligence
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 3664423
zbMATH Keywords: recursive equations
zbMATH Keywords: generalization with beliefs
zbMATH Keywords: inductive reasoning
zbMATH Keywords: closed form solutions to recursive functions
zbMATH Keywords: successive refinement
zbMATH Keywords: existential functions
zbMATH Keywords: temporal methods
MaRDI profile type: Publication
full work available at URL: 0004-3702(79)90007-9
OpenAlex ID: W2109813063
cites work: Q4003907
cites work: Q4003913
cites work: The use of the state space to record the behavioral effects of subproblems and symmetries in the Tower of Hanoi problem
cites work: Form and Content in Computer Science (1970 ACM turing lecture)
cites work: Q4398780
cites work: Q5624681
cites work: Q5677085
cites work: Q5624682
cites work: Doing arithmetic without diagrams
cites work: Towards the automation of set theory and its logic
cites work: Q4184327
cites work: A paradigm for reasoning by analogy
cites work: Q5654516
cites work: Q5835074
cites work: Q5581642
cites work: Q5515326
description: scientific article; zbMATH DE number 3664423