On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.

José Luis Freire Enrique Freire Brañas Antonio Blanco

Published in: EUROCAST (2005)

Keyphrases

recursive functions
inductive inference
algebraic structure
relation algebra
relational calculus
qualitative spatial reasoning
semantic relations
temporal relations
real numbers
data model
background knowledge
attribute values
spatial relations