肖思阳;姜汉如;梁洪进;冯新余 无数据追踪程序的非呈现语义。 （英语） Zbl 1518.68068号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 513-531 (2018).MSC公司：68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Xiao}等人，Lect。注释计算。科学。11187513--531（2018年；Zbl 1518.68068） 全文： 内政部
戴维·文霍克;约书亚·默曼;朱里安·罗特 有序标称集的快速计算。 （英语） Zbl 1518.68193号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 493-512 (2018).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Venhoek｝等人，Lect。注释计算。科学。11187、493--512（2018年；Zbl 1518.68193） 全文： 内政部 arXiv公司
格科·范·海尔特;贾斯汀·徐;约尔·瓦克宁;亚历山德拉·席尔瓦 非确定性概率自动机的凸语言语义。 （英语） Zbl 1518.68192号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 472-492 (2018).MSC公司：65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.van Heerdt}等人，Lect。注释计算。科学。11187472--492（2018年；Zbl 1518.68192） 全文： 内政部 arXiv公司 链接
广岛乌米欧;直系神户县;Gen藤田 一维环形细胞自动机的最小FSSP部分解：对称和非对称同步器。 （英语） 兹比尔1518.68224 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 455-471 (2018).MSC公司：68问题80 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Umeo}等人，Lect。注释计算。科学。11187、455--471（2018年；Zbl 1518.68224） 全文： 内政部
曼纽尔·托尔斯;海克，韦尔海姆 信息流证书。 （英语） Zbl 1518.68067号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 435-454 (2018).MSC公司：68号30 68页30 PDF格式BibTeX公司 XML格式引用 \textit{M.Töws}和\textit{H.Wehrheim}，莱克特。注释计算。科学。11187、435--454（2018年；Zbl 1518.68067） 全文： 内政部
龙马仙达;吉崎隆田;弘久世奇（Hiroyuki Seki） 寄存器上下文无关文法和寄存器树自动机的复杂性。 （英语） 兹比尔1518.68161 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 415-434 (2018).MSC公司：2012年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Senda}等人，Lect。注释计算。科学。11187、415--434（2018年；Zbl 1518.68161） 全文： 内政部
米哈伊尔·里巴科夫;德米特里·什卡托夫 具有有限多个变量的分支和交替时间时序逻辑的复杂性和表达性。 （英语） Zbl 1522.03047号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 396-414 (2018).MSC公司：03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}和\textit{D.Shkatov}，莱克特。注释计算。科学。11187396--414（2018年；兹比尔1522.03047） 全文： 内政部 arXiv公司
威尔默·里奇奥蒂;詹姆斯·切尼 明确审计。 （英语） Zbl 1518.68040号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 376-395 (2018).MSC公司：68甲18 03B40型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{W.里奇奥蒂}和\textit{J.切尼}，莱克特。注释计算。科学。11187376--395（2018年；Zbl 1518.68040） 全文： 内政部 arXiv公司 链接
奥马尔·恩格纳·蒂莫;亚历山大·佩特伦科;拉梅什，S。 通过约束求解检查符号输入/输出FSM的序列生成。 （英语） Zbl 1518.68349号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 354-375 (2018).MSC公司：68T20型 68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Nguena Timo}等人，Lect。注释计算。科学。11187354--375（2018年；Zbl 1518.68349） 全文： 内政部
哈梅尔·内斯特拉 双应用函子。 （英语） 兹比尔1464.68064 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 333-353 (2018).MSC公司：68甲18 18安培99 18立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Nestra}，莱克特。注释计算。科学。11187333--353（2018；Zbl 1464.68064） 全文： 内政部
亨利克·劳科;彼得·罗奇凯;JiříBarnat 通过程序转换进行符号计算。 （英语） Zbl 1518.68055号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 313-332 (2018).MSC公司：68号30 68N20型 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Lauko}等人，Lect。注释计算。科学。11187313--332（2018；Zbl 1518.68055） 全文： 内政部 arXiv公司
拉诺特、拉格罗;西蒙·蒂尼 具有不确定性和连续状态空间的模型中的弱互模拟度量。 （英语） Zbl 1518.68233号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 292-312 (2018).MSC公司：68问题85 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}和\textit{S.Tini}，莱克特。注释计算。科学。11187、292--312（2018年；Zbl 1518.68233） 全文： 内政部
马丁·乔纳什;斯特雷切克，简 基于BDD的SMT解算器的位向量运算抽象。 （英语） Zbl 1518.68347号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 273-291 (2018).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jonáš}和\textit{J.Strejček}，莱克特。注释计算。科学。11187273-291（2018年；Zbl 1518.68347） 全文： 内政部
埃纳尔·布罗赫·约翰森;马丁·斯特芬;Johanna Beate Stumpf;拉斯·特维托 检查模态合同的虚拟定时环境。 （英语） Zbl 1518.68210号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 252-272 (2018).MSC公司：60年第68季度 03B45号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人，Lect。注释计算。科学。11187252-272（2018年；兹比尔1518.68210） 全文： 内政部
戴维·杰宁 时空域：概述。 （英语） Zbl 1507.68175号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 231-251 (2018).MSC公司：68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。11187231--251（2018；Zbl 1507.68175） 全文： 内政部 哈尔
亨丽埃特·哈姆斯;卡塔琳娜·布里茨;奥罗娜·格伯 为\（mathcal{ALC}\）TBoxes生成Armstrong ABoxes。 （英语） Zbl 1518.68370号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 211-230 (2018).MSC公司：68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{H.Harmse}等人，Lect。注释计算。科学。11187211-230（2018年；Zbl 1518.68370） 全文： 内政部
谢尔盖·冈查洛夫;克里斯托夫·劳赫;卢茨·施罗德 用于保护迭代的元语言。 （英语） Zbl 1517.68076号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187191-210（2018年）。MSC公司：68号30 18 C50 2005年8月 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人，Lect。注释计算。科学。11187191-210（2018；Zbl 1517.68076） 全文： 内政部 arXiv公司
伯特伦·费尔根豪尔;弗兰齐斯卡·拉普 汇流层系统——形式化。 （英语） Zbl 1518.68156号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 173-190 (2018).MSC公司：2012年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Felgenhauer}和\textit{F.Rapp}，莱克特。注释计算。科学。11187173-190（2018年；Zbl 1518.68156） 全文： 内政部
弗雷德里克·达尔奎斯特;路易斯·帕兰特;亚历山德拉·席尔瓦 逐层–组合单子。 （英语） Zbl 1518.68199号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 153-172 (2018).MSC公司：68问题55 18立方厘米 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlqvist}等人，Lect。注释计算。科学。11187153-172（2018年；Zbl 1518.68199） 全文： 内政部 arXiv公司
佩德罗·R·达吉尼奥。;劳尔·蒙蒂。 具有紧急性的输入/输出随机自动机：汇合和弱决定论。 （英语） Zbl 1518.68164号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 132-152 (2018).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D’Argenio}和\textit{R.E.Monti}，莱克特。注释计算。科学。11187132-152（2018年；兹比尔1518.68164） 全文： 内政部 arXiv公司
阿皮瓦特·昌塔维布尔;巴布亚州索波辛斯基 单体多路复用。 （英语） Zbl 1518.68198号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 116-131 (2018).MSC公司：68问题55 08A70号 2005年8月 PDF格式BibTeX公司 XML格式引用 \textit{A.Chantawibul}和\textit{P.Sobocinn ski}，莱克托。注释计算。科学。11187116-131（2018年；Zbl 1518.68198） 全文： 内政部 链接
马丁·伯格伦德;威廉·贝斯特;布林克·范德梅尔 形式化Boost POSIX正则表达式匹配。 （英语） Zbl 1477.68144号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 99-115 (2018).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}等人，Lect。注释计算。科学。11187，99-115（2018；Zbl 1477.68144） 全文： 内政部
马丁·伯格伦德;伊娜·谢弗 基于自动机的可配置性和不确定性视图。 （英语） Zbl 1518.68127号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 80-98 (2018).MSC公司：2010年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}和\textit{I.Schaefer}，莱克特。注释计算。科学。11187、80-98（2018年；Zbl 1518.68127） 全文： 内政部
埃里克·巴杜埃尔;罗德里格·艾美Djeumen Djatcha 使用变形分裂的领域特定语言的模块化设计。 （英语） Zbl 1518.68043号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 62-79 (2018).MSC公司：68号30 18 C50 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{埃里·巴杜埃尔}和\textit{R.A.Djeumen Djatcha}，莱克特。注释计算。科学。11187、62-79（2018年；Zbl 1518.68043） 全文： 内政部 哈尔
贝尼氨基Accattoli 证明网和线性代换演算。 （英语） Zbl 1522.03327号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187，37-61（2018）。MSC公司：03楼52 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}，莱克特。注释计算。科学。11187，37-61（2018；Zbl 1522.03327） 全文： 内政部 arXiv公司
马丁·苏尔兹曼;彼得·蒂曼 LTL语义表和通过线性因子的交替（ω）-自动机。 （英语） Zbl 1518.68215号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187，11-34（2018）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{P.Thiemann}.莱克特。注释计算。科学。11187，11-34（2018；Zbl 1518.68215） 全文： 内政部 arXiv公司
伊夫·贝托特 几何算法的形式验证：在Coq证明中寻求抽象视图和对称性。 （英语） 兹比尔1518.68417 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 3-10 (2018).MSC公司：68V20型 52B70型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bertot}，莱克特。注释计算。科学。11187，3-10（2018；Zbl 1518.68417） 全文： 内政部 arXiv公司