A Complete Proof System for Nested Term Graphs.

Published in: HOA (1995)

Keyphrases

undirected graph
directed graph
spanning tree
complex networks
random graphs
neural network
modal logic
hierarchical structure
regularization term