Peirce's Existential Graphs and the Proof of Pragmatism.

Published in: Cybern. Hum. Knowing (2011)

Keyphrases

graph matching
theorem proving
theorem prover
directed graph
graph theory
graph structure
graph partitioning
series parallel
search engine
query answering
graph structures
databases
graph model
graph databases
complex structures
graph clustering