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

Autor:	Chapman, Peter, McKinna, J.H., Urban, Christian, Autexier, Serge, Campbell, John, Rubio, Julio, Sorge, Volker, Suzuki, Masakazu, Wiedijk, Freek
Rok vydání:	2008
Zdroj:	Autexier, Serge; Campbell, John; Rubio, Julio (ed.), Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008. Proceedings, 38-52. Springer STARTPAGE=38;ENDPAGE=52;ISSN=0302-9743;TITLE=Autexier, Serge; Campbell, John; Rubio, Julio (ed.), Intelligent Computer Mathematics: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28-August 1, 2008. Proceedings
ISSN:	0302-9743
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::459a28961cef4c5999740eeb9539a774 https://hdl.handle.net/2066/250740 Zobrazit plný text záznamu