×

兹马思-数学第一资源

计算理论方面——ICTAC 2018,第15届国际学术讨论会,Stellenbosch,南非,2018年10月16-19日。会议记录。(英语) Zbl公司 1398.68027
计算机科学讲义11187.查姆:斯普林格(ISBN 978-3-030-02507-6/pbk;978-3-030-02508-3/电子书)。十七、533 p(2018年)。

将索引文章显示为搜索结果。

本卷的文章将单独审查。前面的座谈会见[Zbl 1372.68010].
索引文章:
贝托,伊夫,几何算法的形式化验证:在coq证明中寻求抽象视图和对称性,3-10[Zbl 06983498]
苏尔兹曼,马丁;蒂曼,彼得,LTL语义表和交替\(\omega\)-自动机通过线性因子,11-34[Zbl 06983499]
阿卡托利,贝尼氨基,证明网和线性代换演算,37-61[Zbl 06983500]
巴杜埃尔,É风险投资委员会;Djeumen Djatcha,罗德里格艾姆é,领域特定语言的模块化设计,使用分解变体,62-79[Zbl 06983501]
伯格兰德,马丁;谢弗,印第安纳州,基于自动机的可配置性和不确定性观点,80-98[Zbl 06983502]
伯格兰德,马丁;贝斯特,威廉;范德梅尔维,布林克,形式化Boost POSIX正则表达式匹配,99-115[Zbl 06983503]
查塔维布尔,阿皮瓦;索波西ń滑雪,爪子ł,单线复用,116-131[Zbl 06983504]
D'Argenio,佩德罗·R。;蒙蒂,罗来纳州ú洛杉矶。,紧急输入/输出随机自动机:汇流与弱决定论,132-152[Zbl 06983505]
戴尔克维斯特,弗雷德里克;帕兰特,路易;席尔瓦,亚历山德拉,逐层-组合单子,153-172[Zbl 06983506]
费尔根豪尔,伯特伦;拉普,弗兰齐斯卡,汇流层系统-正式化,173-190[Zbl 06983507]
冈查罗夫,谢尔盖;劳赫,克里斯托夫;雪儿ö德鲁兹,保护迭代的元语言,191-210年[Zbl 06983508]
哈姆斯,亨丽埃特;布里茨,卡塔琳娜;格伯,奥罗娜,为\(\mathcal{ALC}\)TBoxes生成Armstrong ABoxes,211-230[Zbl 06983509]
杰宁,大卫《时空域:概述》,231-251[Zbl 06983510]
约翰森,艾纳·布洛赫;斯特芬,马丁;斯顿夫,约翰娜·比特;特维托,拉尔斯,检查虚拟时间环境的模态合同,252-272[Zbl 06983511]
乔恩áš, 马丁;斯特雷吉č恩,简,基于BDD的SMT解算器的位向量运算抽象,273-291[Zbl 06983512]
拉诺特,拉格罗;蒂尼,西蒙妮,具有不确定性和连续状态空间的模型中的弱互模拟度量,292-312[Zbl 06983513]
劳科,亨利克;反渗透č凯,皮特;巴纳特,吉ří,通过程序转换进行符号计算,313-332[Zbl 06983514]
内斯特拉,Härmel公司,双应用函子,333-353[Zbl 06983515]
恩圭娜·蒂莫,奥马尔;佩特连科,亚历山德拉;拉梅什,S。,通过约束求解检查符号输入/输出fsm的序列生成,354-375[Zbl 06983516]
里奇奥蒂,威尔默;切尼,詹姆斯,显式审计,376-395[Zbl 06983517]
里巴科夫,米哈伊尔;希卡托夫,德米特里,具有有限多变量的分枝和交替时间时序逻辑的复杂性和表现性,396-414[Zbl 06983518]
森达,龙马;高田,吉崎;世木,广裕,关于寄存器上下文无关文法和寄存器树自动机的复杂性结果,415-434[Zbl 06983519]
Tö远景:曼纽尔;威海,黑克,信息流证书,435-454[Zbl 06983520]
大户,弘石;神川,直木;藤田将军,一维环形细胞自动机的最小FSSP部分解:对称和非对称同步器,455-471[Zbl 06983521]
范海尔德,格科;许,贾斯汀;哇克宁,乔ël;席尔瓦,亚历山德拉,非确定性概率自动机的凸语言语义,472-492[Zbl 06983522]
文豪,大卫;莫曼,约书亚;烂,朱瑞安,有序标称集上的快速计算,493-512[Zbl 06983523]
萧,泗阳;蒋汉如;梁宏进;冯新宇,无数据竞争程序的非抢占语义,513-531[Zbl 06983524]

理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68季度 计算理论
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 内政部