Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics.

Gerald Lüttgen Walter Vogler

Published in: FoSSaCS (2006)

Keyphrases

logic programming
tree structure
dynamic aspects
search algorithm
programming language
hierarchical structure
concurrent processes
databases
neural network
decision trees
high level
r tree
formal semantics
binary tree
data abstraction