Cost-Size Semantics for Call-By-Value Higher-Order Rewriting.

Cynthia Kop Deivid Vale

Published in: FSCD (2023)

Keyphrases

higher order
higher order logic
pairwise
high order
natural images
logic programming
high cost
semantic information
cost sensitive
total cost
formal semantics
np hard
relational databases
communication cost
storage requirements
maintenance cost
low order
rewriting rules
knowledge base