《理论计算机科学》第293卷
第293卷第1期,2003年2月
圣埃芬·高伯特 , 让·雅克·洛伊索 , 让·梅莱斯 , 莫里斯·尼瓦特 , Jean-Eric别针 :
前言。 1-2 雷蒙德·库宁厄姆·格林 , 彼得·布特科维奇 :
方程A⊗x=B⊗y在(max,+)上。 3-12 雅各布·范德沃德 , 苏比奥诺 :
二部(min,max,+)-系统特征值结构存在的条件。 13-24 皮埃尔·伯恩哈德 :
最小值-或担心值-L 1 /L(左) ∞ 控制。 25-44 卡雷尔·齐默尔曼 :
析取优化,最大不可解问题和极值代数。 45-54 弗拉维奥·达莱桑德罗 , 雅克·萨卡罗维奇 :
自由群的有限幂性质。 55-82 纳米·小林 :
可识别子集的一些性质。 83-113 伊内斯·克利曼 :
级数(A,B)-不变性问题的一种解法。 115-139 杰里米·冈瓦德纳 :
从max-plus代数到非扩张映射:离散事件系统的非线性理论。 141-167 卢卡·埃特罗 , 佐尔坦·埃西克 , 安娜·英格尔斯多蒂尔 :
自然数的max-plus代数没有有限的方程式基础。 169-188 Jean-Paul彗星 :
Max-Plus代数在生物序列比较中的应用。 189-217 伯特兰·杜库希尔 , 塞巴斯蒂安·蒂谢尔 :
路径代数的自稳定。 219-236
第293卷第2期,2003年2月
安东·尼霍尔特 , 朱塞佩·斯科洛 , 德克·海伦 :
编辑。 237-241 阿拉文德·乔希 :
关于形式系统的强生成力和弱生成力的说明。 243-259 汉斯·佩特·科尔布 , 延斯·迈克利斯 , 乌维·莫尼奇 , 弗兰克·莫拉维茨 :
一种操作性和指称性的非文本绿色方法。 261-289 詹姆斯·罗杰斯 :
作为语法形式主义的wMSO理论。 291-320 丹尼斯公爵 :
布尔连接词的支配约束:一种模型简化处理。 321-343 爱德华·P·斯塔勒 , 爱德华·基南 :
语言内部和语言之间的结构相似性。 345-363 卡尔·迈克尔·施耐德 :
表格解析和代数转换。 365-389 皮埃尔·布利尔 :
使用范围串联语法进行计数。 391-416 彼得·阿斯维尔德 :
模糊语言族的代数方面。 417-445 多梅尼科·坎通纳 , 安德烈亚·福米萨诺 , 尤金尼奥·奥莫多 , 卡罗格罗·扎尔巴 :
将并元一阶规范编译成映射代数。 447-475
第293卷第3期,2003年2月
科林·菲奇 :
前言。 477 萨尔瓦托雷·拉托雷 , 玛格丽塔·那不勒斯 :
定时欧米伽树上的有限自动机。 479-505 安娜贝拉·麦克维尔 , 卡罗尔·摩根 :
定量时间逻辑qTL中几乎确定的偶然性和抽象概率。 507-534 谢恩·桑德斯 , 大岛高冈 :
改进了近似非循环图的最短路径算法。 535-556 彼得·沙赫特 :
约束逻辑程序的精确的与目标无关的抽象解释。 557-577