Items where Author is "Urban, C."
Group by: Item Type | No Grouping
Number of items: 1.
Contribution to conference proceedings in the public domain
Chapman, P., McKinna, J. and Urban, C. (2008) Mechanising a proof of Craig's Interpolation Theorem for intuitionistic logic in nominal isabelle In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics , 31 July - 1 August, 2011, Birmingham, UK.