MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Isabelle/Isar." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 54 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • α The Isabelle/Isar Implementation  
  • by Makarius Wenzel
  • …= ∀ Isabelle λ β Isar → α The Isabelle/Isar Implementation Makarius Wenzel 8 June 2008Abstract We…
  • Add To MetaCart
  • Graph Theory in Isabelle/Isar  
  • by Gertrud Bauer — 2002
  • …Graph Theory in Isabelle/Isar Gertrud Bauer March 6, 2002 Contents 1 Formalization of graphs 3 1…
  • Add To MetaCart
  • Logic-free reasoning in Isabelle/Isar  
  • by Stefan Berghofer, Makarius Wenzel, Technische Universität München
  • …Logic-free reasoning in Isabelle/Isar Stefan Berghofer and Makarius Wenzel ⋆ Technische…
  • Add To MetaCart
  • α The Isabelle/Isar Reference Manual  
  • by Makarius Wenzel, Clemens Ballarin, Stefan Berghofer, Lucas Dixon, Florian Haftmann, Gerwin Klein, Larry Paulson, Sebastian Skalberg
  • …= ∀ Isabelle λ β Isar → α The Isabelle/Isar Reference Manual Makarius Wenzel With Contributions…
  • Add To MetaCart
  • The 5 Colour Theorem in Isabelle/Isar  
  • by Gertrud Bauer, Tobias Nipkow, Technische Universität München — 2002 — Theorem Proving in Higher Order Logics, volume 2410 of LNCS
  • …The 5 Colour Theorem in Isabelle/Isar Gertrud Bauer and Tobias Nipkow Technische Universität…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB