A Logic to Reason About f-Indices of Inclusion over Ł

Tommaso Flaminio, Llus Godo, Nicols Madrid, Manuel Ojeda-Aciego

Browse the full EUSFLAT paper archive.