( en | de | ru )

 

Disambiguation of "Peña, Lucas"

Author of the publication

copydeleteadd this publication to your clipboard
Model-guided synthesis of inductive lemmas for FOL with least fixpoints.

, , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 1873-1902 (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Jorge Alejandro Peña Sebald

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

Miguel Peña

Hugo Peña-Cortés

Jesús Ismael Irsula Peña

Sascha Peña Hempel

 

Other publications of authors with the same name

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