Showing 1 - 2 results of 2 for search 'Alwen F Tiu', query time: 0.02s Refine Results
  1. 1
    On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics

    On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics by Rajeev Gore, Linda Postniece, Alwen F Tiu

    Published 2011-05-01
    Get full text
    Article
  2. 2
    A Proof Theoretic Analysis of Intruder Theories

    A Proof Theoretic Analysis of Intruder Theories by Alwen F Tiu, Rajeev Gore, Jeremy Dawson

    Published 2010-09-01
    Get full text
    Article

Search Tools: