Vol-3427⫷ Vol-3428 ⫸Vol-3429
urn:nbn:de:0074-3428-0


Vol-3428/paper15⫷Vol-3428/paper16⫸Vol-3428/paper17
Valentina GliozziGian Luca PozzatoAlberto Valese

Proof Methods and Theorem Proving for Conditional Logics with Strong Centering