Dipartimento di Scienze dell'Informazione, Universita di Bologna Mura Anteo Zamboni 7, 40127 Bologna, Italy;
Dipartimento di Scienze dell'Informazione, Universita di Bologna Mura Anteo Zamboni 7, 40127 Bologna, Italy;
机译:汇合终止和终端类型的lambda演算的汇合终止上下文无关的替代重写系统
机译:具有调用时选择语义的构造函数系统的重写和缩小
机译:在构造函数重写系统和Lambda微积分
机译:在构造函数重写系统和Lambda-calculus
机译:依次关闭和转发封闭的字符串重写系统
机译:重写系统和生物系统建模
机译:关于构造函数重写系统和Lambda-Calculus
机译:在aRm(抽象重写机)的范围内:通过最小重写系统编译左线性重写系统;软件工程部