Ott Software Authors: Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok Cited in: 33 Publications (2007–2021) Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Lem Software Authors: Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter Cited in: 3 Publications (2011–2021) Related Software: Isabelle/HOL; Coq; ACL2; HOL Light; HOL; Ott; … Main Fields: Computer science (68-XX)
RiCaSi Software Authors: Mantel, H.; Scheidel, L.; Schneider, T.; Weber, A.; Weinert, C.; Weißmantel, T.; Krenn, S.; Shulman, H.; Vaudenay, S. Cited in: 0 Publications Related Software: – Main Fields: –