Skip navigation
The Australian National University

Craig Interpolation in Displayable Logics

Citation

Brotherston, J & Gore, R 2011, 'Craig Interpolation in Displayable Logics', TABLEAUX 2011, Lecture notes in computer science, vol. 6793, pp. 88-103.

Year

2011

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

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