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, Germany, pp. 452-468.

Year

2016

Updated:  17 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers