×

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

完整图形计算模型的时间和空间度量。 (英语) Zbl 07806732号

Heckel,Reiko(编辑)等人,《第十三届图形计算模型国际研讨会论文集》,GCM,法国南特,2022年7月6日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)374,23-44(2022)。
MSC公司:68倍 90倍X
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

用一元二阶逻辑验证图形程序。 (英语) Zbl 1492.68043号

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

计算最小生成树的快速图形程序。 (英语) Zbl 07456056号

Hoffmann,Berthold(ed.)等人,第十一届图形计算模型国际研讨会论文集,GCM 2020,在线车间,2020年6月24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)330163-180(2020)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

GP 2中的线性时间图算法。 (英语) Zbl 07649899号

Roggenbach,Markus(ed.)等人,第八届计算机科学中的代数和余代数会议,2019年CALCO,英国伦敦,2019月3日至6日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。139,第16条,第23页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

全部的 前3名

软件