( en | de | ru )

 

Disambiguierung von "Tasson, Christine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Free Exponential Modality of Probabilistic Coherence Spaces.

, , , und . FoSSaCS, Volume 10203 von Lecture Notes in Computer Science, Seite 20-35. (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.

Christine Eulert

Funktionelle Relevanz von Chemokinen im Metastasierungsprozess von Kopf-Hals-Tumoren. Uni Düsseldorf, (2009)

Christine Schnellhammer

Funktionelle Analyse des Matrixproteins des Tollwutvirus. Uni München, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Christine Gerngroß

Gedächtnisleistungen in Assoziation mit Polymorphismen des 5-HT2A-Rezeptorgens. Uni München, (2009)

Christine Michel

Malaise dans l'érotisme: Darstellungen sexueller Praktiken und Formen in der französischsprachigen Literatur der Gegenwart. Uni Marburg, (2008)
 

Weitere Publikationen von Autoren mit dem selben Namen

The Inverse Taylor Expansion Problem in Linear Logic., und . LICS, Seite 222-231. IEEE Computer Society, (2009)From Geometric Semantics to Asynchronous Computability., , und . DISC, Volume 9363 von Lecture Notes in Computer Science, Seite 436-451. Springer, (2015)Nominal Techniques in Isabelle/HOL., und . CADE, Volume 3632 von Lecture Notes in Computer Science, Seite 38-53. Springer, (2005)An Explicit Formula for the Free Exponential Modality of Linear Logic., , und . ICALP (2), Volume 5556 von Lecture Notes in Computer Science, Seite 247-260. Springer, (2009)PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points., , und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 317-334. Springer, (2019)Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms., , und . FoSSaCS, Volume 9634 von Lecture Notes in Computer Science, Seite 408-423. Springer, (2016)The Free Exponential Modality of Probabilistic Coherence Spaces., , , und . FoSSaCS, Volume 10203 von Lecture Notes in Computer Science, Seite 20-35. (2017)Distributed computability in Byzantine asynchronous systems., , und . STOC, Seite 704-713. ACM, (2014)Probabilistic call by push value., und . Logical Methods in Computer Science, (2019)Local Validity for Circular Proofs in Linear Logic with Fixed Points., , und . CSL, Volume 119 von LIPIcs, Seite 35:1-35:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)