Skip navigation
The Australian National University

Machine-checked interpolation theorems for substructural logics using display calculi

Citation

Dawson, J, Brotherston, J & Gore, R 2016, 'Machine-checked interpolation theorems for substructural logics using display calculi', International Joint Conference on Automated Reasoning, IJCAR 2016, ed. Olivetti N.Tiwari A., Springer Verlag, TBC, pp. 452-468.

Year

2016

Fields of Research

  • Pure Mathematics
  • Artificial Intelligence And Image Processing

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