The Logic of Communication Graphs.

Eric Pacuit Rohit Parikh

Published in: DALT (2004)

Keyphrases

communication networks
logic programming
graph matching
communication overhead
graph representation
communication systems
communication protocol
graph theoretic
graph theory
information exchange
communication technologies
random graphs
proof theory
pairwise
multi valued
graph model
communication cost