( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesizing Lemmas for Inductive Reasoning.

, , , и . CoRR, (2020)

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.

Jorge Alejandro Peña Sebald

Effektivität und Angemessenheit: Messung interkultureller Kompetenz im Assessment Center. Uni Jena, (2008)

Miguel Peña

Andrea Alejandra Peña Ahumada

Hugo Peña-Cortés

Jesús Ismael Irsula Peña

 

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

A First-order Logic with Frames., , , и . ACM Trans. Program. Lang. Syst., 45 (2): 7:1-7:44 (июня 2023)Towards a Verified Model of the Algorand Consensus Protocol in Coq., , , , , , и . FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 362-367. Springer, (2019)A First Order Logic with Frames., , , и . CoRR, (2019)Synthesizing Lemmas for Inductive Reasoning., , , и . CoRR, (2020)Towards a unified proof framework for automated fixpoint reasoning using matching logic., , , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 161:1-161:29 (2020)A First-Order Logic with Frames., , , и . ESOP, том 12075 из Lecture Notes in Computer Science, стр. 515-543. Springer, (2020)Foundations for natural proofs and quantifier instantiation., , и . Proc. ACM Program. Lang., 2 (POPL): 10:1-10:30 (2018)Model-guided synthesis of inductive lemmas for FOL with least fixpoints., , , , и . Proc. ACM Program. Lang., 6 (OOPSLA2): 1873-1902 (2022)Complete First-Order Reasoning for Properties of Functional Programs., , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1063-1092 (октября 2023)Mechanizing Matching Logic in Coq., , , , , и . FROM, том 369 из EPTCS, стр. 17-36. (2022)