Login / Signup
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