References in zbMATH (referenced in 272 articles , 1 standard article )

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

1 2 3 ... 12 13 14 next

  1. Kaufmann, Matt; Moore, J. Strother: Limited second-order functionality in a first-order setting (2020)
  2. Barthe, Gilles; Betarte, Gustavo; Campo, Juan Diego; Luna, Carlos: System-level non-interference of constant-time cryptography. I: Model (2019)
  3. Johansson, Moa: Lemma discovery for induction. A survey (2019)
  4. Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong: Formalization of geometric algebra in HOL Light (2019)
  5. Moore, J. Strother: Milestones from the Pure Lisp Theorem Prover to ACL2 (2019)
  6. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)
  7. Wang, Meng; Tian, Cong; Zhang, Nan; Duan, Zhenhua; Du, Hongwei: Verifying a scheduling protocol of safety-critical systems (2019)
  8. Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban: DeepMath - Deep Sequence Models for Premise Selection (2018) arXiv
  9. Carette, Jacques; Farmer, William M.; Laskowski, Patrick: HOL Light QE (2018)
  10. Czajka, Łukasz; Kaliszyk, Cezary: Hammer for Coq: automation for dependent type theory (2018)
  11. Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri: Iterated ultrapowers for the masses (2018)
  12. Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
  13. Page, Rex; Gamboa, Ruben: Essential logic for computer science (2018)
  14. Coghetto, Roland: Gauge integral (2017)
  15. Cruanes, Simon: Satisfiability modulo bounded checking (2017)
  16. Cruanes, Simon: Superposition with structural induction (2017)
  17. Cruz-Filipe, Luís; Heule, Marijn J. H.; Hunt Jr., Warren A.; Kaufmann, Matt; Schneider-Kamp, Peter: Efficient certified RAT verification (2017)
  18. Friedl, Stefan: An elementary proof of the group law for elliptic curves (2017)
  19. Heule, Marijn; Hunt, Warren jun.; Kaufmann, Matt; Wetzler, Nathan: Efficient, verified checking of propositional proofs (2017)
  20. Lambán, Laureano; Martín-Mateos, Francisco J.; Rubio, Julio; Ruiz-Reina, José-Luis: Using abstract stobjs in ACL2 to compute matrix normal forms (2017)

1 2 3 ... 12 13 14 next