Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract).

Nils Klarlund Michael I. Schwartzbach

Published in: CAAP (1994)

Keyphrases

extended abstract
weighted graph
undirected graph
finite state
geometric constraints

edge information
minimum spanning trees
constraint satisfaction
directed graph
graph matching

edge detection
planar graphs
constraint programming
graph model
bipartite graph

graph theoretic
edge weights
query containment
datalog queries
social networks