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 |