Vol-2270⫷ Vol-2271 ⫸Vol-2272
urn:nbn:de:0074-2271-0


Vol-2271/invited2⫷Vol-2271/paper1⫸Vol-2271/paper2

Shaving with Occam’s Razor: Deriving Minimalist Theorem Provers for Minimal Logic