1998年第二届WRLA:法国蓬塔·穆森
克洛德·基什内尔 , 赫莱内·基什内尔 :
1998年重写逻辑及其应用国际研讨会,WRLA 1998,Abbaye des Prémontrés at Pont-á-Mousson,France,1998年9月。 理论计算机科学电子笔记 15, 爱思维尔 1998 彼得·博罗万斯克 , 卡洛斯·卡斯特罗 :
约束求解器的合作:使用ELAN的新过程控制设施。 1-20 帕特里克·维里 :
序贯微积分模方程的冒险。 21-32 何塞·梅塞盖尔 , 卡罗琳·塔尔科特 :
将OMRS映射到重写逻辑。 33-54 彼得·博罗万斯克 , 克洛德·基什内尔 , 赫莱内·基什内尔 , Pierre-Etienne Moreau公司 , 克里斯托弗·林盖森 :
ELAN概述。 55-70 曼纽尔·克莱维尔 :
一般逻辑、重写逻辑和Maude中的反思。 71-82 L.J.Steggles律师事务所 , 彼得罗·科西乌琴科 :
SDL的定时重写逻辑语义:交替位协议的案例研究。 83-104 格利特·丹克尔 :
从重写理论到时序逻辑理论。 105-126 福斯托·金奇利亚 , 皮埃尔吉奥·贝尔托利 , 亚历山德罗·科利奥 :
OMRS项目:最新技术。 127-146 曼努埃尔·克拉维尔 , 弗朗西斯科·杜兰 , 史蒂文·艾克 , 帕特里克·林肯 , 纳西索·马蒂-奥列特 , 何塞·梅塞盖尔 , 何塞·F·奎萨达 :
毛德语作为一种元语言。 147-160 罗伯托·布鲁尼 :
异步和同步并发系统的模块化描述逻辑。 161-172 彼得·博罗万斯克 , 萨尔马·贾穆西 , Pierre-Etienne Moreau公司 , 克里斯托夫·林盖森 :
通过交换格式处理ELAN重写程序。 173 弗朗西斯科·杜兰 , 何塞·梅塞盖尔 :
Maude的可扩展模块代数。 174-195 W.Marco Schorlemer(马尔科·肖尔勒默) :
将逻辑重写为特殊关系的逻辑。 196-217 马克·范登·布兰德 , 保罗·克林特 , 克里斯·弗霍夫 :
条款改写出售。 218-241 松本敏弘 , Kokichi Futatsugi公司 :
测试集合成-实现行为属性的自动验证。 242-262 罗伯托·布鲁尼 , 何塞·梅塞盖尔 , 乌戈·蒙塔纳里 :
瓦片系统重写实现中的内部策略。 263-284 拉兹万·迪亚科内斯库 , Kokichi Futatsugi公司 :
CafeOBJ概述。 285-298 彼得·博罗万斯克 :
控制重写:研究和实施策略形式主义。 299-310 史蒂文·艾克 :
使用运算符评估策略进行术语重写。 311-330 曼纽尔·克莱维尔 , 弗朗西斯科·杜兰 , 史蒂文·艾克 , 帕特里克·林肯 , 纳西索·马蒂-奥列特 , 何塞·梅塞盖尔 :
Maude中的元级计算。 331-352 大卫·A·巴思 , 塞恩·马修斯 :
有范围的元定理。 353-366 克洛德·基什内尔 , 赫莱内·基什内尔 :
前言。 367-368 乔治亚·卡拉贝塔 , 皮耶保罗·德加诺 , 法比奥·加杜奇 :
通过已证明的转换系统和重写逻辑实现CCS语义。 369-387 Jean-Pierre Jouannaud女士 :
成员资格等式逻辑、归纳指令演算和重写逻辑。 388-393 乌尔里克·莱切纳 :
分布式系统的面向对象规范。 394-403 彼得·D·摩斯斯 :
语义、模块化和重写逻辑。 404-421 埃尔科·维瑟 , Zine-El-Abidine Benaissa公司 :
重写的核心语言。 422-441