Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? (1999)

Cached

Download Links

by Stéphane Demri
Citations:15 - 4 self