Skip navigation
The Australian National University

Formalised cut admissibility for display logic

Citation

Dawson, J & Gore, R 2002, 'Formalised cut admissibility for display logic', International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2002), ed. G. Goos, J. Hartmanis, J. van Leeuwen, Springer, Berlin, pp. 131-147.

Year

2002

Field of Research

  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers