On termination of meta-programs.

Alexander Serebrenik Danny De Schreye

Published in: Theory Pract. Log. Program. (2005)

Keyphrases

website
meta level
information systems
decision trees
logic programs
control structures
databases
artificial intelligence
data model
stable models
prolog programs