PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Abramsky, Samson"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Game Semantics for Access Control.

, und . CoRR, (2014)

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.

Keine Personen gefunden für den Autorennamen Abramsky, Samson
Eine Person hinzufügen mit dem Namen Abramsky, Samson
 

Weitere Publikationen von Autoren mit dem selben Namen

Interaction Categories.. Theory and Formal Methods, Seite 57-69. Springer, (1993)Mixed Computation of Prolog Programs., und . New Generation Comput., 6 (2&3): 119-141 (1988)Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting., und . Mathematical Structures in Computer Science, 27 (5): 751-761 (2017)What Makes Alan Turing a Great Scientist? - Introduction to the Special Theme., und . ERCIM News, (2012)Coalgebras, Chu Spaces, and Representations of Physical Systems.. J. Philosophical Logic, 42 (3): 551-574 (2013)A Domain Equation for Bisimulation. Inf. Comput., 92 (2): 161-218 (Juni 1991)Full Abstraction for PCF., , und . Inf. Comput., 163 (2): 409-470 (2000)Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract., und . CMCS, Volume 11202 von Lecture Notes in Computer Science, Seite 1-5. Springer, (2018)Heterotic Computing Examples with Optics, Bacteria, and Chemicals., , , , , , , , und . UCNC, Volume 7445 von Lecture Notes in Computer Science, Seite 198-209. Springer, (2012)Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.. CALCO, Volume 3629 von Lecture Notes in Computer Science, Seite 1-29. Springer, (2005)