Quantifier-eliminable locally finite graphs

Shawn Hedman, Wai Yan Pong. Quantifier-eliminable locally finite graphs. Math. Log. Q., 57(2):180-185, 2011. [doi]

No reviews for this publication, yet.