From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

From Rewrite Rules to Axioms in the $\varPi $-Calculus Modulo Theory.

V. Blot, G. Dowek, T. Traversié, и T. Winterhalter. FoSSaCS (2), том 14575 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nicolaos Théodorou

Guntram Winterhalter

Jürgen Winterhalter

Johannes Winterhalter

Christoph Winterhalter

Другие публикации лиц с тем же именем

Eliminating reflection from type theory.T. Winterhalter, M. Sozeau, и N. Tabareau. CPP, стр. 91-103. ACM, (2019)From Rewrite Rules to Axioms in the $\varPi $-Calculus Modulo Theory.V. Blot, G. Dowek, T. Traversié, и T. Winterhalter. FoSSaCS (2), том 14575 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2024)SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.C. Abate, P. Haselwarter, E. Rivas, A. Muylder, T. Winterhalter, C. Hritcu, K. Maillard, и B. Spitters. CSF, стр. 1-15. IEEE, (2021)Randomized Mixed-Radix Scalar Multiplication.E. Guerrini, L. Imbert, и T. Winterhalter. IEEE Trans. Computers, 67 (3): 418-431 (2018)The MetaCoq Project.M. Sozeau, A. Anand, S. Boulier, C. Cohen, Y. Forster, F. Kunze, G. Malecha, N. Tabareau, и T. Winterhalter. J. Autom. Reason., 64 (5): 947-999 (2020)Randomizing Scalar Multiplication Using Exact Covering Systems of Congruences.E. Guerrini, L. Imbert, и T. Winterhalter. IACR Cryptology ePrint Archive, (2015)The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant.Y. Leray, G. Gilbert, N. Tabareau, и T. Winterhalter. ITP, том 309 из LIPIcs, стр. 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Randomized Mixed-Radix Scalar Multiplication.E. Guerrini, L. Imbert, и T. Winterhalter. IACR Cryptology ePrint Archive, (2016)The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography.P. Haselwarter, B. Hvass, L. Hansen, T. Winterhalter, C. Hritcu, и B. Spitters. CPP, стр. 30-44. ACM, (2024)Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti.T. Felicissimo, и T. Winterhalter. FSCD, том 299 из LIPIcs, стр. 21:1-21:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

BibSonomy

Disambiguation