Intensional Equality in Categories With Structure and Coherence Problems.

Anne Preller N. Lafaye de Micheaux

Published in: Math. Log. Q. (1988)

Keyphrases

np complete
object recognition
hierarchical structure
hierarchical structures
real time
real world
reinforcement learning
lower bound
xml documents
multi objective