Univ. Lyon CNRS ENS de Lyon UCB Lyon 1 LIP Lyon France;
机译:(Kleene + Action)(代数+格)的非充分证明理论
机译:用于弱排除中间逻辑的无割证明系统
机译:标记系统参与者的Kleene代数用于异构嵌入式系统的推理
机译:适用于Kleene代数的无可切割的循环校样系统
机译:增强Nuprl证明开发系统并将其应用于计算抽象代数。
机译:中心条件与旋回为家庭三次系统:计算机代数appROaCH
机译:Kleene代数的无割循环证明系统
机译:求解线性代数方程的标量和块循环三对角系统的算法