Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Tiu, Alwen
Website:
http://users.cecs.anu.edu.au/~tiu/
https://www.mathnet.ru/eng/person56844
List of publications on Google Scholar
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
Organisations
Australian National University
