×

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

一个\(\mathrm{PBPO}^+\)图形重写教程。 (英语) 兹伯利07809761

Grabmayer,Clemens(编辑),第十二届国际术语和图形计算研讨会会议记录,Technion,以色列海法,2022年8月1日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)377、45-63(2023年)。
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

图的严格约束叠加演算。 (英语) Zbl 07770335号

Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议,FOSSACS 2023,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2023,2023年4月22-27日,法国巴黎。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13992, 135-155 (2023).
MSC公司:68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用PBPO\textsuperscript{+}重写和重新标记图形。 (英语) Zbl 1492.68072号

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

补丁图重写。 (英语) Zbl 1502.68157号

Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日,作为STAF 2020的一部分,在挪威卑尔根举行了第13届国际会议,ICGT 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 128-145 (2020).
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段