Quantifier-eliminable locally finite graphs

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

Authors

Shawn Hedman

This author has not been identified. Look up 'Shawn Hedman' in Google

Wai Yan Pong

This author has not been identified. Look up 'Wai Yan Pong' in Google