Leo swMATH ID: 19607 Software Authors: Benzmüller, C., Kohlhase, M. Description: Leo – a higher-order theorem prover. Homepage: http://rd.springer.com/chapter/10.1007%2FBFb0054256?LI=true Related Software: TPS; TPTP; Isabelle/HOL; Satallax; VAMPIRE; Twelf; HOL; PVS; ETPS; TRAMP; OMEGA; E Theorem Prover; ML; Coq; SPASS; LEO-II; Omega-ANTS; MathWeb; Nuprl; Teyjus Cited in: 19 Publications all top 5 Cited by 20 Authors 14 Benzmüller, Christoph Ewald 3 Brown, Chad Edward 3 Kerber, Manfred 3 Siekmann, Jörg H. 2 Jamnik, Mateja 2 Libal, Tomer 2 Meier, Andreas 2 Miller, Dale Allen 2 Sorge, Volker 2 Steen, Alexander 2 Theiss, Frank 1 Andrews, Peter B. 1 Autexier, Serge 1 Fiedler, Armin 1 Kohlhase, Michael 1 Paulson, Lawrence Charles 1 Pollet, Martin 1 Sultana, Nik 1 Sutcliffe, Geoff 1 Wisniewski, Max Cited in 4 Serials 3 Journal of Applied Logic 2 Journal of Automated Reasoning 2 Annals of Mathematics and Artificial Intelligence 1 Synthese Cited in 2 Fields 16 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) Citations by Year