Showing 1 - 2 results of 2 for search 'Rajeev Gore', query time: 0.06s Refine Results
  1. 1
    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
    Save to List
    Saved in:
  2. 2
    A Proof Theoretic Analysis of Intruder Theories
    by Alwen F Tiu, Rajeev Gore, Jeremy Dawson
    Published 2010-09-01
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search