Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Tiu, Alwen

Statistics Math-Net.Ru
Presentations: 1

Number of views:
This page:100
Website: http://users.cecs.anu.edu.au/~tiu/

https://www.mathnet.ru/eng/person56844
List of publications on Google Scholar
List of publications on ZentralBlatt

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
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024