2 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
Robert H. Gilman, Yuri Gurevich, Alexei Miasnikov
Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. Suppose that X is infinite, connected and of bounded degree. A first-ord…