( en | de | ru )

 

Disambiguierung von "Abramsky, Samson"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

, , , , und (Hrsg.) Volume 6198 von Lecture Notes in Computer Science, Springer, (2010)

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.

Gerhard Samson

Fritz Samson

Franz Samson

Samson Sauerbier

Samson Markosyan

 

Weitere Publikationen von Autoren mit dem selben Namen

Handbook of Logic in Computer Science, und . Kapitel Domain Theory, Seite 1-168. Oxford University Press, (1994)From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference., und . CMCS, Volume 7399 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2012)Games and Full Completeness for Multiplicative Linear Logic., und . J. Symb. Log., 59 (2): 543-574 (1994)Strictness analysis and polymorphic invariance.. Programs as Data Objects, Volume 217 von Lecture Notes in Computer Science, Seite 1-23. Springer, (1985)Axiomatizing Fully Complete Models for ML Polymorphic Types., und . MFCS, Volume 1893 von Lecture Notes in Computer Science, Seite 141-151. Springer, (2000)Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus., und . CSL, Volume 2142 von Lecture Notes in Computer Science, Seite 443-457. Springer, (2001)The logic of contextuality., und . CoRR, (2020)Petri Nets, Discrete Physics, and Distributed Quantum Computation.. Concurrency, Graphs and Models, Volume 5065 von Lecture Notes in Computer Science, Seite 527-543. Springer, (2008)Concurrent Games and Full Completeness., und . LICS, Seite 431-442. IEEE Computer Society, (1999)Relating Structure and Power: Comonadic Semantics for Computational Resources., und . CSL, Volume 119 von LIPIcs, Seite 2:1-2:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)