Skip navigation
The Australian National University

A Proof Theoretic Analysis of Intruder Theories


Tiu, A & Gore, R 2009, 'A Proof Theoretic Analysis of Intruder Theories', International conference on Rewriting Techniques and Applications (RTA 2009), ed. Ralf Treinen, Springer, Brasilia, Brazil, pp. 103-117.



Fields of Research

  • Computational Logic And Formal Languages
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra

Updated:  21 June 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers