Equality sets for recursively enumerable languages.

Vesa Halava Tero Harju Hendrik Jan Hoogeboom Michel Latteux

Published in: RAIRO Theor. Informatics Appl. (2005)

Keyphrases

recursively enumerable
inductive inference
recursive functions
database query languages
real valued functions
domain knowledge
positive and negative