Login / Signup
Retracing the Semantics of CSP.
Stephen D. Brookes
Published in:
25 Years Communicating Sequential Processes (2004)
Keyphrases
</>
constraint satisfaction problems
formal semantics
semantic information
database
computational complexity
np hard
logic programming
operational semantics
tree decomposition
knowledge base
lower bound
constraint propagation
arc consistency
default reasoning
argumentation semantics