Memoization Cited in 1 Document (2018) Software Authors: Simon Wimmer, Shuwei Hu,Tobias Nipkow Related Software: VerifyThis; Isabelle/HOL; Coq Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Transformer semantics Cited in 1 Document (2022) Software Authors: Georg Struth Related Software: Archive Formal Proofs; Quantales; KeYmaera X; … Main Fields: Computer science (68-XX)