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

Field of Research

  • Computational Logic And Formal Languages

Updated:  29 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers