( en | de | ru )

 

Disambiguierung von "Mimram, Samuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Syntactic Regions for Concurrent Programs.

, und . MFPS, Volume 351 von EPTCS, Seite 184-199. (2021)

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 Buttenwieser

Samuel Glasscheib

Samuel Cydulka

Samuel Taddese

Samuel Sossalla

 

Weitere Publikationen von Autoren mit dem selben Namen

Presentation of a Game Semantics for First-Order Propositional Logic. CoRR, (2008)Computing Critical Pairs in 2-Dimensional Rewriting Systems.. RTA, Volume 6 von LIPIcs, Seite 227-242. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Presenting a Category Modulo a Rewriting System., und . RTA, Volume 36 von LIPIcs, Seite 89-105. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Iterated Chromatic Subdivisions are Collapsible., , und . Appl. Categorical Struct., 23 (6): 777-818 (2015)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)A Sequent Calculus for Opetopes., , und . LICS, Seite 1-12. IEEE, (2019)Introduction to the special issue: Confluence., und . Math. Struct. Comput. Sci., 32 (7): 827-828 (August 2022)Syntactic Regions for Concurrent Programs., und . MFPS, Volume 351 von EPTCS, Seite 184-199. (2021)Categorical Coherence from Term Rewriting Systems.. FSCD, Volume 260 von LIPIcs, Seite 16:1-16:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Polygraphs: From Rewriting to Higher Categories., , , , , und . CoRR, (2023)