( en | de | ru )

 

Disambiguierung von "Peña, Lucas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-guided synthesis of inductive lemmas for FOL with least fixpoints.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

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