Towards a formalization for COM part i: the primitive calculus.

Riccardo Pucella

Published in: OOPSLA (2002)

Keyphrases

automated deduction
knowledge representation
table of contents
formal model
computer algebra
formal analysis
operational semantics
formal language
clustering algorithm
case study
modal logic
algebraic structure
sequent calculus
timed automata