首页> 外文期刊>Theory and Practice of Logic Programming >Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

【24h】

Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM

机译：在不归纳的情况下解决归纳数据类型的Horn子句– ERRATUM

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Theory and Practice of Logic Programming》 |2019年第4期|629-629|共1页
作者
De Angelis Emanuele; Fioravanti Fabio; Pettorossi Alberto; Proietti Maurizio;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM [J] . De Angelis Emanuele, Fioravanti Fabio, Pettorossi Alberto, Theory and Practice of Logic Programming . 2019,第4期

机译：在没有归纳的归纳数据类型上求解喇叭子句 - 错误
2. Solving Horn Clauses on Inductive Data Types Without Induction [J] . De Angelis Emanuele, Fioravanti Fabio, Pettorossi Alberto, Theory and Practice of Logic Programming . 2018,第3a4期

机译：在不归纳的情况下解决归纳数据类型的Horn子句
3. Leveraging Horn clause solving for compositional verification ofPLC software [J] . Discrete event dynamic systems: Theory and applications . 2020,第1期

机译：利用喇叭条求解PLC软件的组成验证
4. Automating Induction for Solving Horn Clauses [C] . Hiroshi Unno, Sho Torii, Hiroki Sakamoto International conference on computer aided verification . 2017

机译：自动归纳法解决号角从句
5. Examining Differences in Written Grammatical Accuracy by Clause Type for Students with and Without Language Impairment [D] . Collins, Sara Christine. 2020

机译：在没有语言损伤的学生中，检查书面语法准确性的差异
6. Sample Preparation Problem Solving for Inductively Coupled Plasma-Mass Spectrometry with Liquid Introduction Systems I. Solubility Chelation and Memory Effects [O] . R. Steven Pappas -1

机译：样品制备问题解决中的电感耦合等离子体质谱法液体导入系统I.溶解度螯合和记忆效应
7. Solving Horn Clauses on Inductive Data Types Without Induction [O] . EMANUELE DE ANGELIS, FABIO FIORAVANTI, ALBERTO PETTOROSSI, 2018

机译：在没有归纳的情况下求解喇叭子句

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号