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

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

1 2 3 ... 12 13 14 next