Skip navigation
The Australian National University

A Proof Theoretic Analysis of Intruder Theories

Citation

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.

Year

2009

Fields of Research

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

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers