符号计算杂志,1996年第22卷
第22卷第1期,1996年7月
亚历山大·奇斯托夫 :
零特征代数簇维数的多项式时间计算。 1-25 F.利昂·普里查德 :
非交换多项式环中的理想隶属度问题。 27-48 玛丽贝尔·费尔南德斯 :
AC补码问题:可满足性和否定消除。 49-82 劳雷亚诺·冈萨雷斯-维加 :
量词消去法在Birkhoff插值问题中的应用。 83-103 斯里尼瓦斯·图马拉科塔 , Junghsen Lieh公司 :
结构系统的符号有限元建模。 105-119
第22卷第2期,1996年8月
乌韦·埃格利 :
从不同的保留结构翻译到正常形式。 121-142 马西莫·马尔奇奥里 :
重写中规范形式的模块性。 143-154 罗伯特·克雷曼斯 , 弗里德里希·奥托 :
对于群,具有有限导数类型的性质等价于同调有限性条件FP_3。 155-177 费利克斯·乌尔默 , 雅克·亚瑟·韦尔 :
关于科瓦西奇算法的注释。 179-200 罗伯特·T·柯蒂斯 , Z.哈桑 :
Janko群J_1元素的对称表示。 201-214 弗朗西斯·布肯霍特 , 迪米特里·利曼斯 :
关于度<=50的有限本原置换群的列表。 215-225 迪特尔·阿申瓦尔德 , 托马斯·西格尔 , 罗伯特·F·蒂希 :
MAPinsure-人寿保险的MAPLE套餐。 227-234
第22卷第3期,1996年9月
德克斯特·科赞 , 苏珊·兰多 , 理查德·齐佩尔 :
代数函数的分解。 235-246 下山武 , 横山和弘 :
多项式理想的局部化和初等分解。 247-277 乔迪·利维 , 杰姆·阿古斯蒂-卡莱尔 :
Bi-Rewrite系统。 279-314 曼弗雷德·施密特·沙乌 :
单面分布和乘法单位理论中统一性的判定。 315-344 Jun Zhang(张军) :
微分方程复多项式解的符号计算。 345-354
第22卷第4期,1996年10月
卡洛·特拉弗索 :
Hilbert函数和Buchberger算法。 355-376 维克多·Y·潘 :
计算x^m模p(x)及其在将多项式分解为固定圆盘上的因子中的应用。 377-380 布鲁诺·萨利尼尔 , 罗伯特·斯特兰德 :
具有构造函数系统的前向分支系统的有效仿真。 381-399 钱振宇 , 王康(音译) :
模块化高阶赤道预统一。 401-424 伊斯特万·加尔 , 迈克尔·波赫斯特 :
关于指数型方程在具有虚二次子域的性域中的解。 425-434 玛丽安·姆罗泽克 :
通过符号计算对数值算法进行严格的误差分析。 435-458 布拉姆·德贾格尔 , Bram van Asch公司 :
一类偏微分方程的符号解。 459-468
第22卷,第5/6号,1996年11月/12月
维杰·萨拉斯瓦特 , 拉德哈·贾加迪桑 , 维涅特·古普塔 :
定时默认并发约束编程。 475-520 卡洛斯·卡莱罗 , 冈特·萨克 , Amílcar Sernadas公司 :
从时序逻辑规范中推导生命目标。 521-553 Thom W.Frühwirth先生 :
时间注释约束逻辑编程。 555-583 莫辛·艾哈迈德 , G.文卡特斯 :
密集时间逻辑编程。 585-613 乔里·恩格弗里特 , 扬·特雷尔 :
非单调推理的可执行时序逻辑。 615-625 迈克尔·菲希尔 :
并发元的时间语义。 627-648 Jean-Raymond Gagné , 约翰·普莱斯 :
非标准时态演绎数据库系统。 649-664 埃德贾德·莫塔 , 大卫·斯图亚特·罗伯逊 , 阿兰·斯梅尔 :
自然时间:生态系统模拟中的时间粒度。 665-698 刘楚昌 , 梅赫迈特·奥尔根(Mehmet A.Orgun) :
时序逻辑编程中时间的多重粒度处理。 699-720 梅赫迈特·奥尔根(Mehmet A.Orgun) , 安东尼·福斯蒂尼 :
可执行时序逻辑系统。 J.塞姆。 计算。 22 ( 5/6 ) : 721-735 ( 1996 )