References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Libal, Tomer; Miller, Dale: Functions-as-constructors higher-order unification: extended pattern unification (2022)
  2. Steen, Alexander; Benzmüller, Christoph: Extensional higher-order paramodulation in Leo-III (2021)
  3. Libal, Tomer; Miller, Dale: Functions-as-constructors higher-order unification (2016)
  4. Benzmüller, Christoph; Sultana, Nik; Paulson, Lawrence C.; Theiß, Frank: The higher-order prover \textscLeo-II (2015)
  5. Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph: \textscLeoPARD-- a generic platform for the implementation of higher-order reasoners (2015)
  6. Benzmüller, Christoph: Combining and automating classical and non-classical logics in classical higher-order logics (2011)
  7. Sutcliffe, Geoff; Benzmüller, Christoph; Brown, Chad E.; Theiss, Frank: Progress in the development of automated theorem proving for higher-order logic (2009)
  8. Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred: Combined reasoning by automated cooperation (2008)
  9. Andrews, Peter B.; Brown, Chad E.: TPS: A hybrid automatic-interactive system for developing proofs (2006)
  10. Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge: Computer supported mathematics with (\Omega)MEGA (2006)
  11. Benzmüller, Christoph E.; Brown, Chad E.: A structured set of higher-order problems (2005)
  12. Kerber, Manfred: From MKRP to (\Omega)mega (2005)
  13. Siekmann, Jörg; Benzmüller, Christoph: (\Omega)MEGA: Computer supported mathematics (2004)
  14. Benzmüller, Christoph: Comparing approaches to resolution based higher-order theorem proving (2002)
  15. Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.: Proof development with (\Omega)MEGA: (\sqrt2) is irrational (2002)
  16. Benzmüller, Christoph; Jamnik, Mateja; Kerber, Manfred; Sorge, Volker: Experiments with an agent-oriented reasoning system (2001)
  17. Meier, Andreas: System description: Tramp. Transformation of machine-found proofs into natural deduction proofs at the assertion level (2000)
  18. Benzmüller, Christoph: Extensional higher-order paramodulation and RUE-resolution (1999)
  19. Benzmüller, Christoph; Kohlhase, Michael: Extensional higher-order resolution (1998)