Axioms for Recursion in Call-by-Value.

Masahito Hasegawa Yoshihiko Kakutani

Published in: FoSSaCS (2001)

Keyphrases

knowledge base
first order logic
complex objects
deductive databases
real time
data sets
computer vision
datalog programs
axiomatic characterization
database
pattern recognition
evolutionary algorithm
horn clauses
derived predicates