DMCA

Nominal techniques in Isabelle/HOL (2005)

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