( en | de | ru )

 

Disambiguierung von "Mimram, Samuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrent Specifications Beyond Linearizability.

, , und . OPODIS, Volume 125 von LIPIcs, Seite 28:1-28:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

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.

Samuel Sossalla

Samuel Buttenwieser

Samuel Taddese

Samuel Glasscheib

Samuel Cydulka

 

Weitere Publikationen von Autoren mit dem selben Namen

A Sequent Calculus for Opetopes., , und . LICS, Seite 1-12. IEEE, (2019)From Geometric Semantics to Asynchronous Computability., , und . DISC, Volume 9363 von Lecture Notes in Computer Science, Seite 436-451. Springer, (2015)Categorical Coherence from Term Rewriting Systems.. FSCD, Volume 260 von LIPIcs, Seite 16:1-16:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Iterated Chromatic Subdivisions are Collapsible., , und . Appl. Categorical Struct., 23 (6): 777-818 (2015)Presenting a Category Modulo a Rewriting System., und . RTA, Volume 36 von LIPIcs, Seite 89-105. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Computing Critical Pairs in 2-Dimensional Rewriting Systems.. RTA, Volume 6 von LIPIcs, Seite 227-242. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)A Sound Foundation for the Topological Approach to Task Solvability., und . CONCUR, Volume 140 von LIPIcs, Seite 34:1-34:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Presenting Finite Posets.. TERMGRAPH, Volume 183 von EPTCS, Seite 1-17. (2014)Towards 3-Dimensional Rewriting Theory.. Logical Methods in Computer Science, (2014)Homological Computations for Term Rewriting Systems., und . FSCD, Volume 52 von LIPIcs, Seite 27:1-27:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)