×

找到5个文档(结果1-5)

非线性重写理论的并发定理。 (英语) Zbl 1489.68115号

Gadducci,Fabio(编辑)等人,《图形变换》。2021年6月24日至25日,第14届国际会议,ICGT 2021,作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12741, 3-21 (2021).
PDF格式BibTeX公司 XML格式引用

复合重写系统的痕迹和痕迹分析。 (英语) Zbl 07453970号

Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。理论。计算。科学。(EPTCS)32344-71(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

Sesqui-pushout重写:并发性、关联性和规则代数框架。 (英语) Zbl 07453087号

Echahed,Rachid(ed.)等人,《第十届图形计算模型国际研讨会论文集》,GCM 2019,荷兰埃因霍温,2019年7月17日。滑铁卢:开放出版协会(OPA)。电子。程序。理论。计算。科学。(EPTCS)309,23-52(2019)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

筛选结果依据…

文档类型

出版年份

主字段