C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A fully abstract semantics for value-passing CCS for trees.
Ying Jiang
Shichao Liu
Thomas Ehrhard
Published in:
Frontiers Comput. Sci. (2019)
Keyphrases
</>
decision trees
semantic information
formal semantics
low level
tree structure
databases
high level
logic programming
semantic representation
active rules
tree construction