MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Nominal Techniques in Isabelle/HOL." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Nominal techniques in Isabelle/HOL  
  • by Christian Urban — 2005 — Proceedings of the 20th International Conference on Automated Deduction (CADE-20
  • … Nominal Techniques in Isabelle/HOL? Christian Urban1 and Christine Tasson2 1 Ludwig…
  • Cited by 33 (6 self) – Add To MetaCart
  • Bericht-Nr. 2007-20  
  • by Florian Kammüller, Henry Sudhof
  • … for Nominal Techniques in Isabelle/HOL [18], but had to find out that neither recursive datatypes nor fancier…
  • Add To MetaCart
  • unknown title  
  • by Noname No. (will, Nominal Techniques Isabelle/hol, Christian Urban
  • … Noname manuscript No.(will be inserted by the editor) Nominal Techniques in Isabelle/HOL…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB