×

Found 21 Documents (Results 1–21)

Post-quantum verification of Fujisaki-Okamoto. (English) Zbl 07666638

Moriai, Shiho (ed.) et al., Advances in cryptology – ASIACRYPT 2020. 26th international conference on the theory and application of cryptology and information security, Daejeon, South Korea, December 7–11, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12491, 321-352 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Formalising mathematics in simple type theory. (English) Zbl 1528.03098

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 437-453 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

From Tarski to Hilbert. (English) Zbl 1397.03019

Ida, Tetsuo (ed.) et al., Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17–19, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-40671-3/pbk). Lecture Notes in Computer Science 7993. Lecture Notes in Artificial Intelligence, 89-109 (2013).
MSC:  03B35 03B30 68T15
PDFBibTeX XMLCite
Full Text: DOI HAL

A higher-order calculus for categories. (English) Zbl 1005.18001

Boulton, Richard J. (ed.) et al., Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2152, 136-153 (2001).
MSC:  18A15 68T15 03B35
PDFBibTeX XMLCite
Full Text: Link

Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17–20, 2000. Proceedings. (English) Zbl 0939.00024

Lecture Notes in Computer Science 1831. Lecture Notes in Artificial Intelligence. Berlin: Springer. xiii, 519 p. (2000).
MSC:  00B25 03-06 68-06
PDFBibTeX XMLCite

Two frameworks of theories and their implementation in Isabelle. (English) Zbl 0756.03013

Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 3-39 (1991).
MSC:  03B70 03F35 68T15 03B40 03-04
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software