Representability of recursive P. Martin-Löf tests.

Cristian Calude Ion Chitescu

Published in: Kybernetika (1983)

Keyphrases

boolean functions
information systems
three dimensional
recursive algorithm
data mining
computer vision
multimedia
probabilistic model
test generation
recursive functions