×

Found 7 Software Packages (Results 1–7)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Cited in: 161 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Cited in: 76 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; Satallax; PVS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

GHC

Software Authors:   Ueda, Kazunori
Cited in: 36 Publications (1986–2014)
Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Athena

Software Authors:   Konstantine Arkoudas
Cited in: 10 Publications (2004–2017)
Related Software: HE-E1GODF; Athena; CASTRO; Maude; CafeOBJ; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

KEIM

Software Authors:   Huang, X., Kerber, M., Kohlhase, M., Melis, E., Nesmith, D., Richts, J., Siekmann, J.
Cited in: 1 Publication (2005)
Related Software: OMEGA; Leo; MKRP
Main Fields: Computer science (68-XX)

Nuprl-Light

Software Authors:   Hickey, Jason J.
Cited in: 1 Publication (1997)
Related Software: Cambridge LCF; Nuprl; Isabelle
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

clam3

Software Authors:   theoremprover-museum
Cited in: 0 Publications
Related Software:
Main Fields: