2.拉丁语1995:智利瓦尔帕拉索
里卡多·巴扎·耶茨 , 埃里克·戈尔斯(Eric Goles Ch.)。 , 帕特里西奥·波布利特 :
1995年拉丁文:理论信息学,第二届拉丁美洲研讨会,智利瓦尔帕拉索,1995年4月3日至7日,会议记录。 计算机科学课堂讲稿 911, 施普林格 1995 ,国际标准图书编号 3-540-59175-3 詹姆斯·阿贝洛 , 克里须那·库玛 :
2-螺旋多边形的可见性图(扩展抽象)。 1月15日 劳伦特·阿隆索 , 勒内·肖特 :
彩色树的随机生成。 16-35 浅野忠雄 , 德什·兰扬 , 托马斯·罗斯 , 埃莫·韦尔兹尔 , 彼得·维德迈尔 :
空间填充曲线及其在几何数据结构设计中的应用。 36-48 R.巴拉苏布拉曼尼亚 , 文卡特斯·拉曼 , G.斯里尼瓦萨拉加万 :
从相邻矩阵求度数的紧界。 49-59 大卫·A·米什·巴林顿 , 霍华德·斯特劳宾 :
具有模块门的电路的模块计数下限。 60-71 伯恩德·贝克尔 , 罗尔夫·德雷克斯勒 , 拉尔夫·沃奇纳 :
关于BDD和FDD之间的关系。 72-83 弗朗索瓦·布兰查德 , 亚历杭德罗·马斯 :
广义切换自动机的动力学性质。 84-98 史蒂芬·L·布鲁姆 , 佐尔坦·埃西克 :
语言变体中的自由乱序代数(扩展抽象)。 99-111 菲利普·布拉德福德 , 文卡特斯·乔佩拉 , 格雷戈里·J·E·罗林斯 :
矩阵链排序问题的下界(扩展抽象)。 112-130 史蒂芬·布兰德斯 :
基于密钥证书的离线电子现金。 131-166 维罗妮克·布鲁耶尔 , 乔治·汉塞尔 :
非标准基中的可识别数字集。 167-179 格哈德·邦特洛克 , 贡杜拉·尼曼 :
弱增长上下文敏感语法。 180-194 Benjamín RenéCallejas Bedregal(贝德雷加) , Benedito Melo Acióly公司 :
Plotkin连续域逻辑。 195-206 湿婆·乔杜里 , Devdatt P.Dubhashi公司 :
(概率)复发房地产重新审视。 207-219年 马克西姆·克罗西莫尔 , 沃伊切赫·莱特 :
线性时间字母无关二维模式匹配。 220-229 杰尔·奥利维尔·杜兰·洛斯 :
可逆元胞自动机能够使用分区自动机模拟任何其他可逆元胞自动机。 230-244 彼得·伊德斯 , 苏·怀特赛德斯 :
最近邻图可实现性是NP-hard。 245-256 大卫·费尔南德斯·巴卡 , 乔拉·斯卢茨基 :
平面图上参数最小生成树问题的线性时间算法。 257-271 埃斯特班·费尔斯坦 :
多页寻呼。 272-285 Celina M.H.de Figueiredo公司 , 乔·梅达尼斯 , 塞利亚·皮奇宁·德梅洛 :
关于边着色无差别图。 286-299 朱利亚·加尔比亚蒂 , 安吉洛·莫泽蒂(Angelo Morzenti) , 弗朗西斯科·马菲奥利 :
关于一些最大生成树问题的逼近性。 300-310 高树红 , 约阿希姆·冯·祖尔·盖森 , 丹尼尔·帕纳里奥 :
有限域中的高斯周期和快速指数化(扩展摘要)。 311-322 威廉·加萨奇 , 卡蒂亚·圣吉马朗斯 :
无界搜索和递归图问题。 323-331 劳雷亚诺·冈萨雷斯-维加 :
几个单变量多项式最大公因子的计算复杂性。 332至345 乔泽夫·格鲁斯卡 , 安吉洛·蒙蒂 , 玛格丽塔·那不勒斯 , 多梅尼科家长 :
SBTA语言的状态复杂性。 346-357 克里斯蒂安·赫尔佐格 :
具有有界不确定性和有界无二义性的下推自动机。 358-370 伊奥安·马卡里 :
多头双向概率有限自动机。 371-385 莫里斯·马根斯坦 :
非加速图灵机:一个可判定暂停问题和普遍性之间的新前沿。 386-397 马丁·马塔马拉 , 埃里克·戈尔斯(Eric Goles Ch.)。 :
有限图上的循环自动机网络。 398-410 若昂·梅达尼斯 , 乔·塞图巴尔 :
具有间隙灵活性的生物序列多重比对。 411-426 克里斯托夫·梅内尔 , 斯蒂芬·瓦克 :
各种图形可及性问题的模块通信复杂性的下限。 427-435 马丁·蒙德亨克 :
在单调的Oracle机器上。 436-448 B.约翰·奥门 , 爱德华·德圣克罗伊 :
学习自动机在快速图形分割中的应用。 449-460 赫尔穆特·普罗丁格 :
Yekutieli和Mandelbrot问题的解决方案。 461-468 吉尔斯·理查德 , 弗雷德里克·沙特 :
约束逻辑编程的重写方法。 469-482 苏珊娜·洛卡 :
Cayley图上元胞自动机之间的模拟。 483-493 Farn Wang公司 :
命名事务实时部分排序的时态逻辑。 494-508年 彼得·山川 , Hiroyuki Ebara公司 , 中野秀夫 :
一种新的排列图布线方法及其性能评估。 509-524
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)