Fold/Unfold Transformations for Fixpoint Logic

机译：FixPoint Logic的折叠/展开变换

代理获取

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

页面导航

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

著录项

作者
Naoki Kobayashi; Grigory Fedyukovich; Aarti Gupta;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs [J] . Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, International Journal of Foundations of Computer Science . 2002,第3期

机译：超越Tamaki-Sato样式的普通逻辑程序的展开/折叠转换
2. An Unfold/Fold Transformation Framework for Definite Logic Programs [J] . ABHIK ROYCHOUDHURY, K. NARAYAN KUMAR, C. R. RAMAKRISHNAN, ACM Transactions on Programming Languages and Systems . 2004,第3期

机译：用于确定逻辑程序的展开/折叠转换框架
3. The Least Fixpoint Transformation for Disjunctive Logic Programs [J] . Wang Kewen, Chen Huowang, Wu Quanyuan Journal of Computer Science & Technology . 1998,第3期

机译：析取逻辑程序的最小定点转换
4. Fold/Unfold Transformations for Fixpoint Logic [C] . Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems . 2020

机译：固定点逻辑的折叠/展开转换
5. Protein Folding and Stability Distinguishing Folded from Unfolded State Effects [D] . Xiao, Shifeng 2012

机译：从未折叠状态效应折叠蛋白质折叠和稳定性判别
6. Energetic and Structural Consequences of Desolvation/Solvation Barriers to Protein Folding/Unfolding Assessed from Experimental Unfolding Rates [O] . David Rodriguez-Larrea, Beatriz Ibarra-Molero, Jose M. Sanchez-Ruiz 2006

机译：从实验展开率评估的去溶剂化/溶剂化障碍对蛋白质折叠/展开的能量和结构性后果
7. Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs [O] . Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, 1999

机译：超越Tamaki-Sato样式的普通逻辑程序展开/折叠转换

Fold/Unfold Transformations for Fixpoint Logic

著录项

引文网络

相似文献

相关主题

期刊订阅