Sign in
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