( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Homotopical Completion Procedure with Applications to Coherence of Monoids.

, , и . RTA, том 21 из LIPIcs, стр. 223-238. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Samuel Sossalla

Samuel Buttenwieser

Samuel Glasscheib

Samuel Taddese

Samuel Cydulka

 

Другие публикации лиц с тем же именем

Computing Critical Pairs in 2-Dimensional Rewriting Systems.. RTA, том 6 из LIPIcs, стр. 227-242. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Presenting a Category Modulo a Rewriting System., и . RTA, том 36 из LIPIcs, стр. 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., , и . Appl. Categorical Struct., 23 (6): 777-818 (2015)A Sound Foundation for the Topological Approach to Task Solvability., и . CONCUR, том 140 из LIPIcs, стр. 34:1-34:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)From Geometric Semantics to Asynchronous Computability., , и . DISC, том 9363 из Lecture Notes in Computer Science, стр. 436-451. Springer, (2015)A Sequent Calculus for Opetopes., , и . LICS, стр. 1-12. IEEE, (2019)Introduction to the special issue: Confluence., и . Math. Struct. Comput. Sci., 32 (7): 827-828 (августа 2022)Polygraphs: From Rewriting to Higher Categories., , , , , и . CoRR, (2023)Syntactic Regions for Concurrent Programs., и . MFPS, том 351 из EPTCS, стр. 184-199. (2021)