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
2011ANU Authors
Field of Research
- Computational Logic And Formal Languages