Hamiltonicity in Locally Finite Graphs: Two Extensions and a Counterexample.

Published in: Electron. J. Comb. (2018)

Keyphrases

graph kernels
model checking
graph matching
graph theoretic
finite number
graph mining
structured objects
formal verification
real time
graph databases
graph data
random graphs
query language
default logic
graph model
graph structure
temporal logic
case study