References in zbMATH (referenced in 45 articles )

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

1 2 3 next

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

1 2 3 next