Provable Correctness of Prototype Interpreters in LDL.

Ralf Lämmel Günter Riedewald

Published in: CC (1994)

Keyphrases

information retrieval
expressive power
description language
real time
data sets
database
neural network
information systems
special case
test bed
deductive databases