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 | |
| Download citation |