A Type System for CHR.

Emmanuel Coquery François Fages

Published in: ICLP (2005)

Keyphrases

artificial intelligence
three dimensional
computational complexity
real world
multimedia
high level
database systems
multi agent
object recognition
special case
multiple types