1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Hubie Chen, Stefan Mengel
A central computational task in database theory, finite model theory, and computer science at large is the evaluation of a first-order sentence on a finite structure. In the contex…