University of Illinois at Chicago, Chicago, IL, USA;
University of Illinois at Chicago, Chicago, IL, USA;
University of Illinois at Chicago, Chicago, IL, USA;
University of Illinois at Chicago, Chicago, IL, USA Hungarian Academy of Sciences University of Szeged, Hungary;
机译:利用喇叭条求解PLC软件的组成验证
机译:在不归纳的情况下解决归纳数据类型的Horn子句– ERRATUM
机译:在没有归纳的归纳数据类型上求解喇叭子句 - 错误
机译:初始限制数据量:一个新的可扩展类可解释的约束喇叭条文
机译:使用horn子句和二进制决策图进行程序分析。
机译:除了两个条款判决之外:收购六种语言的子句
机译:Horn子句的组合问题