Items where Author is "McKinna, J."

Up a level
Export as [feed] RSS
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.

This list was generated on Fri Jan 4 10:20:40 2013 GMT.