( en | de | ru )

 

Disambiguierung von "Saurin, Alexis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Ludics Programming: Interactive Proof Search.

. ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 253-268. Springer, (2008)

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.

Alexis Lebedeff

Alexis Rozenknop

Alexis Hoen

Alexis Rump

Alexis Hofmeister

 

Weitere Publikationen von Autoren mit dem selben Namen

A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points.. TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 203-222. Springer, (2023)From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic., und . CSL, Volume 4646 von Lecture Notes in Computer Science, Seite 405-419. Springer, (2007)A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday., , , und . Math. Struct. Comput. Sci., 29 (8): 1007-1008 (2019)The exponential logic of sequentialization., , und . MFPS, Volume 3 von EPTICS, EpiSciences, (2023)Phase Semantics for Linear Logic with Least and Greatest Fixed Points., , und . FSTTCS, Volume 250 von LIPIcs, Seite 35:1-35:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Canonical Sequent Proofs via Multi-Focusing., , und . IFIP TCS, Volume 273 von IFIP, Seite 383-396. Springer, (2008)Standardization and Böhm Trees for Lambdaµ-Calculus.. FLOPS, Volume 6009 von Lecture Notes in Computer Science, Seite 134-149. Springer, (2010)On the Relations between the Syntactic Theories of lambda-mu-Calculi.. CSL, Volume 5213 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2008)Böhm theorem and Böhm trees for the λμ-calculus.. Theor. Comput. Sci., (2012)Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress., , und . RC, Volume 12227 von Lecture Notes in Computer Science, Seite 144-152. Springer, (2020)