( en | de | ru )

 

Disambiguierung von "Mimram, Samuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Homotopical Completion Procedure with Applications to Coherence of Monoids.

, , und . RTA, Volume 21 von LIPIcs, Seite 223-238. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)

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 Glasscheib

Samuel Taddese

Samuel Cydulka

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Presentation of a Game Semantics for First-Order Propositional Logic. CoRR, (2008)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)From Geometric Semantics to Asynchronous Computability., , und . DISC, Volume 9363 von Lecture Notes in Computer Science, Seite 436-451. Springer, (2015)Introduction to the special issue: Confluence., und . Math. Struct. Comput. Sci., 32 (7): 827-828 (August 2022)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)