A model of guarded recursion via generalised equilogical spaces.

Ales Bizjak Lars Birkedal

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

Keyphrases

management system
theoretical framework
real time
probability distribution
computational model
mathematical model
conceptual model
formal model
data sets
data mining
similarity measure
prior knowledge
statistical model
experimental data