Decidable weighted expressions with Presburger combinators.

Emmanuel Filiot Nicolas Mazzocchi Jean-François Raskin

Published in: J. Comput. Syst. Sci. (2019)

Keyphrases

facial expressions
function free horn
weighted distance
natural language
weighted sum
mathematical expressions
data model
np complete
recursive functions