King's College London

Research portal

Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle

Research output: Chapter in Book/Report/Conference proceedingConference paper

Peter Chapman, James McKinna, Christian Urban

Original languageEnglish
Title of host publicationof 9th International Conference on Artificial Intelligence and Symbolic Computation (AISC'08)
Subtitle of host publicationLecture Notes in Artificial Intelligene
Pages38 - 52
Publication statusPublished - 2008

King's Authors

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454