Presburger Vector Addition Systems.

Jérôme Leroux

Published in: LICS (2013)

Keyphrases

intelligent systems
computer systems
machine learning
database systems
knowledge based systems
databases
learning algorithm
web pages
knowledge base
image processing
multiscale
mobile robot
distributed systems
computing systems