×

兹马思-数学第一资源

基于集合的程序分析中的路径与树。(英语) Zbl 1323.68201号
第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'00,美国马萨诸塞州波士顿,2000年1月19日至21日。纽约,纽约:计算机械协会(ACM)(ISBN 1-58113-125-9)。330-337(2000年)。

理学硕士:
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68N17 逻辑程序设计
68问17 问题的计算难度(下限、完备性、逼近难度等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部