Proof nets through the lens of graph theory: a compilation of remarks.

Lê Thành Dung Nguyên

Published in: CoRR (2019)

Keyphrases

graph theory
computer vision and pattern recognition
graph theoretic
social network analysis
graph theoretical
theorem prover
graph based representations
minimum spanning tree
automata theory
maximum independent set
complex networks
maximal cliques
search algorithm
combinatorial optimization
graph properties