Nominal Techniques in Isabelle/HOL

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_4 ◽

2005 ◽

pp. 38-53 ◽

Cited By ~ 45

Author(s):

Christian Urban ◽

Christine Tasson

Download Full-text