Finitism, imperative programs and primitive recursion.

Published in: J. Log. Comput. (2021)

Keyphrases

imperative programs
dynamic logic
complex objects
high level
deductive databases
transitive closure
plan execution
real time
decision trees
general purpose
dynamic environments
database
neural network
logic programs
model checking
temporal information