29 citations · 73 across the 14 of their papers we have counts for
1 paper · 1 filter
Erich Grädel, Val Tannen
Given a first-order sentence, a model-checking computation tests whether the sentence holds true in a given finite structure. Data provenance extracts from this computation an abst…