Postniece Linda

Доклады и лекции в базе данных Math-Net.Ru

1. Cut-elimination and proof search for bi-intuitionistic tense logic
   Rajeev Goré, Linda Postniece, Alwen Tiu
   Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
   25 августа 2010 г. 11:50