Tiu Alwen

Presentations in Math-Net.Ru

1. Cut-elimination and proof search for bi-intuitionistic tense logic
   Rajeev Goré, Linda Postniece, Alwen Tiu
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 25, 2010 11:50