( en | de | ru )

 

Disambiguierung von "Pédrot, Pierre-Marie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An effectful way to eliminate addiction to dependence.

, und . LICS, Seite 1-12. IEEE Computer Society, (2017)

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.

Marie-Pierre Blanchard

Marie Pierre Manitz

Jean-Pierre Marie Mbomboué

Thierry Pierre-Marie Schnyder

Charlotte Marien

 

Weitere Publikationen von Autoren mit dem selben Namen

Russian Constructivism in a Prefascist Theory.. LICS, Seite 782-794. ACM, (2020)δ is for Dialectica., und . LICS, Seite 48:1-48:13. ACM, (2024)A functional functional interpretation.. CSL-LICS, Seite 77:1-77:10. ACM, (2014)The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report., , , , und . IEEE Softw., 39 (5): 32-37 (2022)Martin-Löf à la Coq., , , , und . CPP, Seite 230-245. ACM, (2024)Classical By-Need., und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 616-643. Springer, (2016)Failure is Not an Option - An Exceptional Type Theory., und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 245-271. Springer, (2018)An effectful way to eliminate addiction to dependence., und . LICS, Seite 1-12. IEEE Computer Society, (2017)Martin-Löf à la Coq., , , , und . CoRR, (2023)A reasonably exceptional type theory., , , und . Proc. ACM Program. Lang., 3 (ICFP): 108:1-108:29 (2019)