Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.

Martín Hötzel Escardó Thomas Streicher

Published in: LICS (1997)

Keyphrases

real world
computer vision
complex objects
inductive learning
databases
artificial intelligence
search engine
decision making
knowledge base
spatial reasoning
transitive closure
concept formation