On the Status of Proving Program Properties in Effective Interpretations.

Michal Grabowski

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

Keyphrases

case study
data sets
real time
social networks
feature selection
relational databases
probabilistic model
computationally efficient
structural properties