1.A Sound Foundation for the Topological Approach to Task Solvability

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-15.doi:10.4230/LIPIcs.CONCUR.2019.34

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891942

文章详细全文下载

2.Coherence of Gray Categories via Rewriting

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:15:1-15:16.doi:10.4230/LIPIcs.FSCD.2018.15

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220014773

文章详细

3.Towards 3-Dimensional Rewriting Theory

作　　者：Samuel Mimram

出　　处：Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:1)2014

出版社：Technical University of Braunschweig

文章 ID：264691921

文章详细全文下载

4.Computing Critical Pairs in 2-Dimensional Rewriting Systems

作　　者：Samuel Mimram

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:227-242.doi:10.4230/LIPIcs.RTA.2010.227

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845701

文章详细全文下载

5.A Non-Standard Semantics for Kahn Networks in Continuous Time

作　　者：Romain Beauxis ;Samuel Mimram

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:35-50.doi:10.4230/LIPIcs.CSL.2011.35

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845973

文章详细全文下载

6.A Homotopical Completion Procedure with Applications to Coherence of Monoids

作　　者：Yves Guiraud ;Philippe Malbos ;Samuel Mimram

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:223-238.doi:10.4230/LIPIcs.RTA.2013.223

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846314

文章详细全文下载

7.Presenting a Category Modulo a Rewriting System

作　　者：Florence Clerc ;Samuel Mimram

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:89-105.doi:10.4230/LIPIcs.RTA.2015.89

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846883

文章详细全文下载

8.Homological Computations for Term Rewriting Systems

作　　者：Philippe Malbos ;Samuel Mimram

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:27:1-27:17.doi:10.4230/LIPIcs.FSCD.2016.27

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847459

文章详细全文下载

9.Brief Announcement: On the Impossibility of Detecting Concurrency

作　　者：E}ric Goubault ;J{\'e}r{\'e}my Ledent ;Samuel Mimram

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;121:1-4.doi:10.4230/LIPIcs.DISC.2018.50

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213248

文章详细全文下载

10.Concurrent Specifications Beyond Linearizability

作　　者：ric Goubault ;Jrmy Ledent ;Samuel Mimram

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;125:1-16.doi:10.4230/LIPIcs.OPODIS.2018.28

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230438630

文章详细全文下载

	有本地全文	9篇
	有全文链接	1篇

	J{\'e}r{\'e}my Ledent	1篇
	Romain Beauxis	1篇
	Simon Forest	1篇
	Yves Guiraud	1篇
	ric Goubault	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Samuel Mimram")))) )) ) )"

	Samuel Mimram	10篇
	Jrmy Ledent	2篇
	Philippe Malbos	2篇
	E}ric Goubault	1篇
	Florence Clerc	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	Logical Methods in Computer Science	1篇