Sign in
A Linear Logic Programming Language for Concurrent Programming over Graph Structures.
Flávio Cruz
Ricardo Rocha
Seth Copen Goldstein
Frank Pfenning
Published in:
Theory Pract. Log. Program. (2014)
Keyphrases
</>
logic programming language
graph structures
concurrent programming
logic programming
programming language
graph structure
constraint logic programming
inference rules
graph mining
situation calculus
directed graph
graph clustering
structured data
np hard