Proving Operational Termination of Declarative Programs in General Logics.

Salvador Lucas José Meseguer

Published in: PPDP (2014)

Keyphrases

high level
information systems
special case
closely related
provably correct
database
real time
data sets
neural network
machine learning
decision making
knowledge representation
expressive power
domain independent
programming environment