research
∙
07/03/2023
On the Satisfiability of Local First-Order Logics with Data
We study first-order logic over unordered structures whose elements carr...
share
research
∙
09/21/2022
