FO Rewritability for OMQ Using Beth Definability and Interpolation

Title FO Rewritability for OMQ Using Beth Definability and Interpolation
Author
Year of Publication
2021
Conference Name
FO Rewritability for OMQ Using Beth Definability and Interpolatio
URL
http://ceur-ws.org/Vol-2954/paper-29.pdf
Download citation