...
机译:用户定义效果的表达能力:效果处理程序,单声反射,定界控制
Saarland Univ Dept Comp Sci Saarbrucken Germany|Univ Cambridge Comp Lab Cambridge England;
Univ Cambridge Comp Lab Cambridge England|Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland|Univ Oxford Balliol Coll Dept Comp Sci Oxford England;
Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland|Imperial Coll Dept Comp London England;
Univ Ljubljana Fac Math & Phys Ljubljana Slovenia;
机译:关于一元最小不动点逻辑的表达能力
机译:Monadic Datalog和语言在Web信息提取中的表现力
机译:依靠CTL *:依靠单声道路径逻辑的表达能力
机译:效果处理程序的类型等值和分隔控制
机译:基于属性和关系的访问控制模型的表现力,安全性和云实现
机译:基于创意表达艺术的讲故事(CREAS)对较老年人患者轻度认知障碍的影响:随机控三臂试验的议定书
机译:关于用户定义效果的表达力量:效果处理程序,Monadic反射,分隔控制