Showing 1 - 2 results of 2 for search 'Tiu, A', query time: 0.03s Refine Results
  1. 1
    Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

    Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures by Tiu, A, Ianovski, E, Goré, R

    Published 2012
    Conference item
  2. 2
    Deciding secrecy of security protocols for an unbounded number of sessions: The case of depth-bounded processes

    Deciding secrecy of security protocols for an unbounded number of sessions: The case of depth-bounded processes by Ong, C-HL, Tiu, A, D'Osualdo, E

    Published 2017
    Conference item

Search Tools: