Finitism, Imperative Programs and Primitive Recursion.

Published in: LFCS (2020)

Keyphrases

imperative programs
dynamic logic
complex objects
deductive databases
high level
transitive closure
information retrieval
np hard
higher level
user defined
datalog programs
artificial intelligence
mobile robot
plan execution