References in zbMATH (referenced in 44 articles )

Showing results 1 to 20 of 44.
Sorted by year (citations)

1 2 3 next

  1. Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
  2. Ballarin, Clemens: Locales: a module system for mathematical theories (2014)
  3. Kahl, Wolfram: A mechanised abstract formalisation of concept lattices (2014)
  4. Matichuk, Daniel; Wenzel, Makarius; Murray, Toby: An Isabelle proof method language (2014)
  5. Pąk, Karol: Improving legibility of natural deduction proofs is not trivial (2014)
  6. Stojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag: A vernacular for coherent logic (2014)
  7. Braun, Gabriel; Narboux, Julien: From Tarski to Hilbert (2013)
  8. Leino, K.Rustan M.: Automating theorem proving with SMT (2013)
  9. Kahl, Wolfram: Dependently-typed formalisation of relation-algebraic abstractions (2011)
  10. Krauss, Alexander: Partial and nested recursive function definitions in higher-order logic (2010)
  11. Marić, Filip; Janičić, Predrag: Formal correctness proof for DPLL procedure (2010)
  12. Tankink, Carst; Geuvers, Herman; McKinna, James; Wiedijk, Freek: Proviola: a tool for proof re-animation (2010)
  13. Haftmann, Florian; Wenzel, Makarius: Local theory specifications in Isabelle/Isar (2009)
  14. Kaliszyk, Cezary; Wiedijk, Freek: Merging procedural and declarative proof (2009)
  15. Aransay, Jesús; Ballarin, Clemens; Rubio, Julio: A mechanized proof of the basic perturbation lemma (2008)
  16. Berghofer, Stefan; Wenzel, Makarius: Logic-free reasoning in Isabelle/Isar (2008)
  17. Wenzel, Makarius; Paulson, Lawrence C.; Nipkow, Tobias: The Isabelle framework (2008)
  18. Brucker, Achim D.; Wolff, Burkhart: Test-sequence generation with Hol-TestGen with an application to firewall testing (2007)
  19. Haftmann, Florian; Wenzel, Makarius: Constructive type classes in Isabelle (2007)
  20. Narboux, Julien: Mechanical theorem proving in Tarski’s geometry (2007)

1 2 3 next