Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Postniece Linda
Сайт: http://users.cecs.anu.edu.au/~linda/

https://www.mathnet.ru/rus/person56843
Список публикаций на Google Scholar

Доклады и лекции в базе данных 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   

Организации