Formalizing Process Algebraic Verifications in the Calculus of Constructions.

Marc Bezem Roland N. Bol Jan Friso Groote

Published in: Formal Aspects Comput. (1997)

Keyphrases

data sets
databases
machine learning
image processing
data structure
linear algebra
formal language