Cited By
View all- Benedikt MHrushovski E(2023)Embedded Finite Models beyond Restricted Quantifier Collapse2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS56636.2023.10175804(1-13)Online publication date: 26-Jun-2023
- Figueira DJez ALin ALibkin LBarceló P(2022)Data Path Queries over Embedded Graph DatabasesProceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3517804.3524159(189-201)Online publication date: 12-Jun-2022
- Benedikt M(2022)The Past and Future of Embedded Finite Model TheoryReachability Problems10.1007/978-3-031-19135-0_3(37-46)Online publication date: 17-Oct-2022
- Show More Cited By