《理论计算机科学》第744卷
第744卷,2018年10月
奥古斯托·桑帕约 , Farn Wang公司 :
计算的理论方面。 1-2 帕瓦内赫·巴巴里 , 曼弗雷德·德罗斯特 , 维塔利·佩雷沃什奇科夫 :
数据字上的加权寄存器自动机和加权逻辑。 3-21 马里奥·R·F·贝内维提斯 , 布鲁诺·洛佩斯 , 爱德华·赫尔曼·海斯勒 :
关于Petri网的推理:一种基于命题动态逻辑的方法。 22-36 沃尔特·古特曼 :
最小生成树问题的代数框架。 37-55 米歇尔·古兹曼 , 萨利姆·珀西 , 卡米洛·鲁埃达 , 弗兰克·D·瓦伦西亚 :
描述空间约束系统右逆的特征及其在模态逻辑中的应用。 56-77 亚历山大·马德拉 , 路易斯·索尔斯·巴博萨 , 罗尔夫·亨尼克 , 曼纽尔·马丁斯 :
反应系统逐步发展的逻辑。 78-96 安娜贝拉·麦克维尔 , 塔希里·拉贝哈加 , 乔治·斯特鲁斯 :
调度程序和完成程序:关于生成和过滤事件结构的行为。 97-112 雷纳托·内维斯 , 路易斯·索尔斯·巴博萨 :
混合自动机的语言和模型:联合大脑的观点。 113-142 梅克·施瓦姆伯格 :
证明自治城市交通安全的抽象模型。 143-169