Nominal techniques in Isabelle/HOL (2005)

Cached

Download Links

by Christian Urban
Venue:Proceedings of the 20th International Conference on Automated Deduction (CADE-20
Citations:80 - 12 self