APPIA-GULP-PRODE 1996年:西班牙多诺西亚·圣塞巴斯蒂安
帕基·卢西奥 , 毛里齐奥·马泰利 , 玛丽莎·纳瓦罗 :
1996年7月15日至18日,西班牙多诺斯蒂亚·圣塞巴斯蒂安,APPIA-GULP-PRODE’96,声明性编程联合会议。 1996 佩德罗·巴拉奥纳 :
约束逻辑编程:理论、领域和应用。 APPIA-GULP-PRODE公司 1996 : 3-12 费尔南多·奥雷贾斯 :
逻辑程序设计中模块结构研究的代数方法。 APPIA-GULP-PRODE公司 1996 : 13-16 玛丽亚·阿尔普奈特 , 莫雷诺·法拉斯基 , 帕斯夸尔·朱利安·伊兰佐 , 格尔曼·维达尔 :
按名称调用功能逻辑程序的部分求值。 APPIA-GULP-PRODE公司 1996 : 17-28 迈克尔·科迪什 , 维塔利湖 , 弗朗西斯科·布埃诺 :
使用集合逻辑程序的逻辑程序共享分析。 APPIA-GULP-PRODE公司 1996 : 29-40 桑德罗·埃塔利 , 毛里齐奥·加布里埃利 :
分层模式。 APPIA-GULP-PRODE公司 1996 : 41-52 罗伯托·贾科巴齐 , 弗朗西斯科·兰扎托 :
选言抽象解释的优化。 APPIA-GULP-PRODE公司 1996 : 53-66 丹尼尔·卡贝萨 , 曼纽尔·埃尔梅内吉尔多 :
在CIAO系统中实现分布式并发约束执行。 APPIA-GULP-PRODE公司 1996 : 67-78 曼纽尔·维拉雷斯·费罗 , 米盖尔·安吉尔·阿隆索·帕尔多 :
动态规划中DCG的LALR扩展。 APPIA-GULP-PRODE公司 1996 : 79-88 罗伯特·尼文胡斯 , 何塞·米盖尔·里韦罗 , 米盖尔·安杰尔·瓦列霍 :
等式子句定理证明的实现内核。 APPIA-GULP-PRODE公司 1996 : 89-104 曼纽尔·埃尔梅内吉尔多 , 弗朗西斯科·布埃诺 , 丹尼尔·卡贝萨 , 曼纽尔·卡罗 , 玛丽亚·加西亚·德拉班达 , 佩德罗·洛佩斯·加西亚 , 杰曼·普埃布拉 :
CIAO多参数编译器和系统:未来(C)LP系统的实验工作台。 APPIA-GULP-PRODE公司 1996 : 105-110 斯特芬·Hölldobler :
等式逻辑与行动理论。 APPIA-GULP-PRODE公司 1996 : 111-126 M.C.F.费雷拉 :
递归定义的定期订单。 APPIA-GULP-PRODE公司 1996 : 127-138 佩德罗·马汀 , 安东尼奥·加维兰斯 :
具有预排序和动态排序的逻辑的语义表。 APPIA-GULP-PRODE公司 1996 : 139-154 乔治·德尔扎诺 , 毛里齐奥·马泰利 :
线性逻辑中的计算证明。 APPIA-GULP-PRODE公司 1996 : 155-166 W.Marco Schorlemer(马尔科·肖尔勒默) , 杰姆·阿古斯蒂-卡莱尔 :
声明式编程中的包含理论。 APPIA-GULP-PRODE公司 1996 : 167-178 亚历山德拉·迪·皮耶罗 , 沃德齐米尔兹·德拉本特 :
量化否定查询。 APPIA-GULP-PRODE公司 1996 : 179-190 罗莎·阿鲁阿巴雷纳 , 玛丽莎·纳瓦罗 :
关于支持程序结构的扩展逻辑语言。 APPIA-GULP-PRODE公司 1996 : 191-206 伊芙琳娜·拉姆 , 保拉·梅洛 , 塞萨尔·斯特凡内利 , 帕斯卡·范·亨特利克 :
基于消费的分布式统一。 APPIA-GULP-PRODE公司 1996 : 207-218 维克托·M·古利亚斯 , 胡安·昆特拉 , 何塞·路易斯·弗雷尔 :
函数语言中的高阶分布。 APPIA-GULP-PRODE公司 1996 : 219-232 拉米罗·瓦雷拉 , 卡米诺·R·贝拉 , 豪尔赫·普恩特 :
逻辑编程中的高效生产者/消费者并行性。 APPIA-GULP-PRODE公司 1996 : 233-244 路易斯·加兰 , 克里斯托巴尔·帕雷加 , 里卡多·佩纳 :
功能骨架在Eden中生成流程拓扑。 APPIA-GULP-PRODE公司 1996 : 245-258 迈克尔·哈纳斯 , 萨尔瓦多·卢卡斯 :
需要缩小的表示语义。 APPIA-GULP-PRODE公司 1996 : 259-270 托马斯·艾特 , 尼古拉·利昂 , 多梅尼科·萨卡 :
析取演绎数据库的无界集和部分稳定模型。 APPIA-GULP-PRODE公司 1996 : 271-282 弗朗西斯科·布卡弗里 , 尼古拉·利昂 , 帕斯奎尔·鲁洛 :
计算析取有序逻辑。 APPIA-GULP-PRODE公司 1996 : 283-294 斯特维奥·西马托 , 塞西莉亚·马斯科洛 :
对声明性规范进行分析和动画制作。 APPIA-GULP-PRODE公司 1996 : 295-308 皮埃尔·莱斯坎 :
显式替换的演算:新结果。 APPIA-GULP-PRODE公司 1996 : 309-328 塞尔吉奥·格雷科 :
使用选择和弱约束扩展数据日志。 APPIA-GULP-PRODE公司 1996 : 329-340 塞尔吉奥·格雷科 , 尤金尼奥·斯帕达福拉 :
链逻辑查询的实现。 APPIA-GULP-PRODE公司 1996 : 341-354 罗伯托·巴格纳拉 , 马可·科米尼 , 弗朗西丝卡·斯科扎里 , 埃娜·扎法内拉 :
CLP计算答案约束的与合成性。 APPIA-GULP-PRODE公司 1996 : 355-366 埃娜·扎法内拉 :
无悬架cc程序的模块化分析。 APPIA-GULP-PRODE公司 1996 : 367-378 F.勒贝尔 , 亚历山大·特西尔 :
约束逻辑程序设计中的声明性错误诊断。 APPIA-GULP-PRODE公司 1996 : 379-390 萨尔瓦托·鲁杰里 :
关于约束逻辑程序的终止。 APPIA-GULP-PRODE公司 1996 : 391-406 罗伯·胡格伍德 :
通过计算编程。 APPIA-GULP-PRODE公司 1996 : 407-426 杰苏斯·曼努埃尔·阿曼德罗斯-吉梅内斯 :
POS型函数逻辑程序的类型推断和检查。 APPIA-GULP-PRODE公司 1996 : 439-450 普里阿里纳斯-桑切斯 , 玛丽亚·特蕾莎·霍塔拉-冈萨雷斯 , 弗朗西斯科·哈维尔·洛佩斯·弗拉瓜斯 , 伊娃·乌兰 :
函数逻辑语言中的实际约束。 APPIA-GULP-PRODE公司 1996 : 451-464 保罗·沃尔佩 :
统一证明系统的抽象解释。 APPIA-GULP-PRODE公司 1996 : 465-480 乔治·列维 , 福斯托·斯波托 :
Prolog与cut的精确分析。 APPIA-GULP-PRODE公司 1996 : 481-492 罗伯托·巴格纳拉 :
直截了当的ROBDD并不是最适合Pos的。 APPIA-GULP-PRODE公司 1996 : 493-498 瓦斯科·佩德罗 , 路易斯·蒙泰罗 :
模块和规范。 APPIA-GULP-PRODE公司 1996 : 499-510 J.巴普蒂斯塔 , 路易斯·蒙泰罗 :
处理对缺少谓词的调用。 APPIA-GULP-PRODE公司 1996 : 511-522 伊芙琳娜·拉姆 , 保拉·梅洛 , 米歇拉·米兰 :
通过元编程增强约束逻辑编程。 APPIA-GULP-PRODE公司 1996 : 523-534 安东尼奥·布罗吉 , 西蒙·孔蒂埃罗 :
专门研究逻辑程序的元级组成。 APPIA-GULP-PRODE公司 1996 : 535-548 李仁伟 , 路易斯·莫尼兹·佩雷拉 :
推理并发操作和观察。 APPIA-GULP-PRODE公司 1996 : 549-560 曼努埃尔·恩西索 , J.F.蒙卡达 , 英曼·P·德·古兹曼 , 曼纽尔·奥杰达·阿西戈 :
使用TAS工具执行内涵逻辑。 APPIA-GULP-PRODE公司 1996 : 561-566 朱塞佩·曼科 , 亚历山德拉·拉斐塔 , 弗朗科·图里尼 :
面向对象逻辑编程中的对象动力学建模。 APPIA-GULP-PRODE公司 1996 : 567-580 布拉斯·鲁伊斯 , 何塞·E·加拉多 , 巴勃罗·格雷罗 , 弗朗西斯科·古铁雷斯 :
Concurrentes Funcionales en Entornos Concurrent的目标分类。 APPIA-GULP-PRODE公司 1996 : 581-584