On the symbolic reduction of processes with cryptographic functions.

Roberto M. Amadio Denis Lugiez Vincent Vanackère

Published in: Theor. Comput. Sci. (2003)

Keyphrases

intermediate level
website
high level
similarity measure
smart card
databases
real world
machine learning
social networks
decision making
multiscale
expert systems
low level
process model
computational models
decision diagrams