ETPS Cited in 161 Documents (1986–2022) Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Related Software: TPS; Isabelle/HOL; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
TPS Cited in 77 Documents (1990–2022) Software Authors: Andrews, Peter B.; Brown, Chad E. Related Software: TPTP; ETPS; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
GHC Cited in 36 Documents (1986–2014) Software Authors: Ueda, Kazunori Related Software: PARLOG; Kima; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
Athena Cited in 10 Documents (2004–2017) Software Authors: Konstantine Arkoudas Related Software: HE-E1GODF; Athena; CASTRO; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX); …
KEIM Cited in 1 Document (2005) Software Authors: Huang, X., Kerber, M., Kohlhase, M., Melis, E., Nesmith, D., Richts, J., Siekmann, J. Related Software: OMEGA; Leo; MKRP Main Fields: Computer science (68-XX)
Nuprl-Light Cited in 1 Document (1997) Software Authors: Hickey, Jason J. Related Software: Cambridge LCF; Nuprl; Isabelle Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)