Skip to content

Extension Preservation in the Finite and Prefix Classes of First Order Logic.

Anuj Dawar, Abhisekh Sankaran

VenueBCSL
Year2021
ProceedingsCSL

Browse the full CSL paper archive.