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

Showing results 1 to 20 of 274.
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. Araújo, João; Kinyon, Michael; Robert, Yves: Varieties of regular semigroups with uniquely defined inversion (2019)
  3. Barthe, Gilles; Betarte, Gustavo; Campo, Juan Diego; Luna, Carlos: System-level non-interference of constant-time cryptography. I: Model (2019)
  4. Johansson, Moa: Lemma discovery for induction. A survey (2019)
  5. Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong: Formalization of geometric algebra in HOL Light (2019)
  6. Moore, J. Strother: Milestones from the Pure Lisp Theorem Prover to ACL2 (2019)
  7. Paulson, Lawrence C.; Nipkow, Tobias; Wenzel, Makarius: From LCF to Isabelle/HOL (2019)
  8. Raggi, Daniel; Stockdill, Aaron; Jamnik, Mateja; Garcia Garcia, Grecia; Sutherland, Holly E. A.; Cheng, Peter C.-H.: Inspection and selection of representations (2019)
  9. Wang, Meng; Tian, Cong; Zhang, Nan; Duan, Zhenhua; Du, Hongwei: Verifying a scheduling protocol of safety-critical systems (2019)
  10. Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban: DeepMath - Deep Sequence Models for Premise Selection (2018) arXiv
  11. Carette, Jacques; Farmer, William M.; Laskowski, Patrick: HOL Light QE (2018)
  12. Czajka, Łukasz; Kaliszyk, Cezary: Hammer for Coq: automation for dependent type theory (2018)
  13. Enayat, Ali; Kaufmann, Matt; McKenzie, Zachiri: Iterated ultrapowers for the masses (2018)
  14. Farmer, William M.: Incorporating quotation and evaluation into Church’s type theory (2018)
  15. Page, Rex; Gamboa, Ruben: Essential logic for computer science (2018)
  16. Coghetto, Roland: Gauge integral (2017)
  17. Cruanes, Simon: Satisfiability modulo bounded checking (2017)
  18. Cruanes, Simon: Superposition with structural induction (2017)
  19. Cruz-Filipe, Luís; Heule, Marijn J. H.; Hunt Jr., Warren A.; Kaufmann, Matt; Schneider-Kamp, Peter: Efficient certified RAT verification (2017)
  20. Friedl, Stefan: An elementary proof of the group law for elliptic curves (2017)

1 2 3 ... 12 13 14 next