-Calculus.

Paul Blain Levy

Published in: ICALP (2) (2006)

Keyphrases

computer algebra
provably correct
artificial intelligence
natural deduction
multiscale
timed automata
database
algebraic structure
automated deduction
automated theorem proving
formal language
decision trees
web services
metadata
genetic algorithm
information retrieval
real world