Axioms for Recursion in Call-by-Value.

Masahito Hasegawa Yoshihiko Kakutani

Published in: High. Order Symb. Comput. (2002)

Keyphrases

knowledge base
complex objects
first order logic
machine learning
transitive closure
computer vision
feature extraction
axiomatic characterization
data sets
databases
database systems
cooperative
information technology
mobile robot