Semantics of CSP via Translation into CCS.

Egidio Astesiano Elena Zucca

Published in: MFCS (1981)

Keyphrases

constraint satisfaction problems
logic programming
semantic information
constraint satisfaction
machine translation
formal semantics
np hard
database
databases
natural language
search space
information extraction
owl ontologies
speech acts
operational semantics