×

重写模对称单体结构。 (英语) Zbl 1395.68162号

2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。710-719 (2016).

理学硕士:

2012年第68季度 语法和重写系统
05年6月15日 Hypergraphs(Hypergraph)
18日第10天 单线、对称单线和编织线类别(MSC2010)
PDF格式BibTeX公司 XML格式引用