Representing Program Schemes in Logic

John C. Cherniavsky Robert L. Constable

Published in: SWAT (1972)

Keyphrases

multi valued
computer programs
automated reasoning
formal theory
logic programming
computational properties
classical logic
functional programs
programs written
program execution
predicate logic
set theory
defeasible logic
database
search algorithm
decision trees
website
databases