-Calculus.

Naoki Kobayashi Takashi Suto

Published in: ICALP (2007)

Keyphrases

automated deduction
objective function
computer algebra
database
web services
data sets
decision trees
multiscale
mobile robot
formal language
natural deduction
timed automata