A graph-easy class of mute lambda-terms.

Antonio Bucciarelli Alberto Carraro Giordano Favro Antonino Salibra

Published in: ICTCS (2014)

Keyphrases

structured data
graph theoretic
bipartite graph
graph representation
equivalence class
planar graphs
genetic algorithm
knn
co occurrence
programming language
np complete
graph matching
graph mining
graph model
graph clustering
dependency graph