Found 6 Documents (Results 1–6)
A polymorphic vampire (short paper). (English) Zbl 07614682
Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 361-368 (2020).
MSC:
68V15
A combinator-based superposition calculus for higher-order logic. (English) Zbl 07614518
Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 278-296 (2020).
MSC:
68V15
Encoding monomorphic and polymorphic types. (English) Zbl 1445.68327
MSC:
68V15
Axiomatization of typed first-order logic. (English) Zbl 1427.68053
Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 470-486 (2015).
Expressing polymorphic types in a many-sorted language. (English) Zbl 1348.68215
Tinelli, Cesare (ed.) et al., Frontiers of combining systems. 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5–7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24363-9/pbk). Lecture Notes in Computer Science 6989. Lecture Notes in Artificial Intelligence, 87-102 (2011).
MSC:
68T15
03B70
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (4)
all
top 5
Author
- Bhayat, Ahmed (2)
- Blanchette, Jasmin Christian (2)
- Reger, Giles (2)
- Bentkamp, Alexander (1)
- Bobot, François (1)
- Böhme, Sascha (1)
- Cruanes, Simon (1)
- Paskevich, Andrei (1)
- Popescu, Andrei (1)
- Schmitt, Peter H. (1)
- Smallbone, Nicholas (1)
- Ulbrich, Mattias (1)
- Waldmann, Uwe (1)
Volume
- 17, No. 2 (2021) (1)
- 12, No. 4 (2016) (1)
all
top 3
Software
- VAMPIRE (5)
- E Theorem Prover (3)
- Isabelle/HOL (3)
- Metis_ (3)
- Sledgehammer (3)
- StarExec (3)
- TPTP (3)
- Coq (2)
- Satallax (2)
- Why3 (2)
- z3 (2)
- Boogie (1)
- CoqHammer (1)
- DISCOUNT (1)
- Frama-C (1)
- Jahob (1)
- Jessie (1)
- Lambda Free RPOs (1)
- ML (1)
- MPTP 0.2 (1)
- SMT-LIB (1)
- Yices (1)
- Zipperposition (1)
- cvc3 (1)