Proofs, Programs, Processes.

Ulrich Berger Monika Seisenberger

Published in: CiE (2010)

Keyphrases

computer programs
intermediate level
social networks
multiscale
hidden markov models
decision procedures
primitive operations
database
real time
databases
data mining
programming language
computational model
java programs