首页> 外文OA文献 >Generation of Rewriting Programs from Horn Clause Specifications

【2h】

Generation of Rewriting Programs from Horn Clause Specifications

机译：根据Horn子句规范生成重写程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
TOGASHI Atsushi; MANSFIELD Glenn; NOGUCHI Shoichi;
展开▼
作者单位

展开▼
年度 1987
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. The Semantics of Guarded Horn Clauses for Programs on Distributed Environments [J] . TORU KATO 情報処理学会論文誌 . 1999,第1期

机译：分布式环境中程序的警卫号角条款的语义
2. An Inplementation of Pure Horn Clause Logic Programming in a Reduction System [J] . 许满武计算机科学技术学报：英文版 . 1993,第003期

机译：归约系统中纯角子句逻辑编程的实现
3. On the Complexities of Non—Horn Clause Logic Programming [J] . 聂旭民计算机科学技术学报：英文版 . 1992,第002期

机译：非角子句逻辑编程的复杂性
4. Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation [C] . John P. Gallagher, Mads Rosendahl Logic for Programming, Artificial Intelligence, and Reasoning . 2008

机译：近似术语重写系统：Horn子句规范及其实现
5. Using horn clauses and binary decision diagrams for program analysis. [D] . Song, Wenxin. 2010

机译：使用horn子句和二进制决策图进行程序分析。
6. (Morpho)syntactic Variation in Agreement: Specificational Copular Clauses Across Germanic [O] . Jutta M. Hartmann, Caroline Heycock 2019

机译：（Morpho）协议的句法变异：指南跨国公司的规范
7. Parameterized horn clause specifications: Proof theory and correctness [O] . M. Navarro, F. Orejas 1987

机译：参数化喇叭子句规格：证明理论和正确性

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号