Locally Nameless Sigma Calculus.

Ludovic Henrio Florian Kammüller Bianca Lutz Henry Sudhof

Published in: Arch. Formal Proofs (2010)

Keyphrases

artificial intelligence
automated deduction
algebraic structure
multi agent systems
expert systems
information technology
multiresolution
data model
knowledge representation
computer algebra
timed automata