Login / Signup
Termination of Well-Moded Programs.
Sandro Etalle
Annalisa Bossi
Nicoletta Cocco
Published in:
J. Log. Program. (1999)
Keyphrases
</>
prolog programs
logic programs
decision making
data sets
information retrieval
website
high level
multi agent systems
software engineering
operating system
programming environment
fixpoint
stable models
intermediate level
control structures