Global syntax and semantics for recursively enumerable languages.

Cristian Calude Gheorghe Paun

Published in: Fundam. Informaticae (1981)

Keyphrases

recursively enumerable
inductive inference
hypothesis space
prior knowledge
recursive functions
real valued functions
learning process
logic programs