Defining Trace Semantics for CSP-Agda.

Bashar Igried Anton Setzer

Published in: TYPES (2016)

Keyphrases

constraint satisfaction problems
logic programming
formal semantics
constraint propagation
neural network
tree decompositions
constraint solving
conceptual graphs
constraint networks
constraint programming
arc consistency
np hard
semantic representation
speech acts
operational semantics
database systems
data sets