Program schemata and the first-order decision problem
type: Item
instance of: scholarly article
title: Program schemata and the first-order decision problem
zbMATH Open document ID: 0295.68013
DOI: 10.1016/S0022-0000(74)80023-1
author: Harry R. Lewis
published in: Journal of Computer and System Sciences
publication date: 1974-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 3463144
MaRDI profile type: Publication
cites work: Solvable cases of the decision problem
cites work: Q3905252
cites work: Q5625113
cites work: Q5331485
cites work: On formalised computer programs
cites work: Properties of Programs and the First-Order Predicate Calculus
cites work: Inductive methods for proving properties of programs
cites work: Q5544286
full work available at URL: s0022-0000(74)80023-1
OpenAlex ID: W2039590975
description: scientific article; zbMATH DE number 3463144