Preservation under Substructures modulo Bounded Cores.
Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
Browse the full WoLLIC paper archive.
Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
Browse the full WoLLIC paper archive.