Is There an Optimal Generic Semantics for First-Order Equations?.

Jan-Georg Smaus

Published in: ICLP (2003)

Keyphrases

model theoretic
higher order
worst case
logic programming
formal semantics
dynamic programming
mathematical model
numerical solution
sound and complete with respect
web services
first order logic
closed form
optimal strategy