Hoare Logics for Time Bounds - A Study in Meta Theory.

Maximilian P. L. Haslbeck Tobias Nipkow

Published in: TACAS (1) (2018)

Keyphrases

theoretical framework
lower bound
website
bayesian networks
support vector
empirical studies
computational model
general theory
grounded theory
decision trees
statistically significant
expressive power
theoretical foundation
attitudes toward
learning theory