Found 4 Documents (Results 1–4)
Making higher-order superposition work. (English) Zbl 1512.68431
Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 415-432 (2021).
Agent-based HOL reasoning. (English) Zbl 1434.68646
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 75-81 (2016).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
all
top 5
Author
- Bentkamp, Alexander (2)
- Benzmüller, Christoph Ewald (2)
- Blanchette, Jasmin Christian (2)
- Cruanes, Simon (2)
- Nummelin, Visa (2)
- Steen, Alexander (2)
- Tourret, Sophie (2)
- Vukmirović, Petar (2)
- Wisniewski, Max (1)
Volume
- 66, No. 4 (2022) (1)
- 65, No. 6 (2021) (1)
all
top 3
Software
- Satallax (4)
- TPTP (4)
- CVC4 (3)
- Coq (3)
- DISCOUNT (3)
- E Theorem Prover (3)
- HOL (3)
- Sledgehammer (3)
- AVATAR (2)
- CoqHammer (2)
- HOLyHammer (2)
- Isabelle/HOL (2)
- Leo-III (2)
- LeoPARD (2)
- OTTER (2)
- StarExec (2)
- VAMPIRE (2)
- Why3 (2)
- Zipperposition (2)
- Easychair (1)
- FMLtoHOL (1)
- HOL Light (1)
- LEO-II (1)
- Leo (1)
- ML (1)
- MSPASS (1)
- MleanCoP (1)
- Nitpick (1)
- PVS (1)
- QMLTP (1)
- TPS (1)
- WhyML (1)
- embed_modal (1)
- iProver (1)
- kepler98 (1)