DMCA

Theoremhood Preserving Maps As A Characterisation Of Cut Elimination For Provability Logics. (1999)

by Stéphane Demri , Rajeev Goré
Citations:7 - 5 self