×

图重写的随机机制。 (英语) Zbl 1401.68132号

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

MSC公司:

2012年第68季度 语法和重写系统
05C25号 图和抽象代数(群、环、域等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
87年第68季度 计算机科学中的概率(算法分析、随机结构、相变等)
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接