首页> 外文OA文献 >Program extraction via typed realisability for induction and coinduction

【2h】

Program extraction via typed realisability for induction and coinduction

机译：通过类型化可实现性进行程序提取，以进行归纳和共归

页面导航

著录项
相似文献
相关主题

著录项

作者
Ulrich Berger; Monika Seisenberger;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Realisability for Induction and Coinduction with Applications to Constructive Analysis [J] . Ulrich Berger Journal of Universal Computer Science . 2010,第18期

机译：归纳和共归的可实现性及其在构造分析中的应用
2. Realisability for Induction and Coinduction with Applications to Constructive Analysis [J] . U. Berger Journal of Universal Computer Science . 2010,第18期

机译：归纳和共归的可实现性及其在构造分析中的应用
3. Constant-Parameter Interfacing of Induction Machine Models Considering Main Flux Saturation in EMTP-Type Programs [J] . Therrien Francis, Wang Liwei, Chapariha Mehrdad, Energy Conversion, IEEE Transactions on . 2016,第1期

机译：EMTP型程序中考虑主通量饱和的感应电机模型的恒定参数接口
4. Optimized Program Extraction for Induction and Coinduction [C] . Ulrich Berger, Olga Petrovska Conference on computability in Europe . 2018

机译：针对归纳法和共归法的优化程序提取
5. Predicate answer set programming with coinduction. [D] . Min, Richard Kyunglib. 2009

机译：谓词答案集编程与共归。
6. Effects of quercetin nanoliposomes on C6 glioma cells through induction of type III programmed cell death [O] . Gang Wang, Jun Jie Wang, Guang Yi Yang, 2012

机译：槲皮素纳米脂质体通过诱导III型程序性细胞死亡对C6胶质瘤细胞的影响
7. Effects of quercetin nanoliposomes on C6 glioma cells through induction of type III programmed cell death [O] . Wang, Gang, Wang, Jun Jie, Yang, Guang Yi, 2012

机译：槲皮素纳米脂质体通过诱导III型程序性细胞死亡对C6胶质瘤细胞的影响
8. Note on Coinduction and Weak Bisimilarity for While Programs [R] . Rutten, J. J. M. M. 1998

机译：关于同时程序的Coinduction和弱相似性的注记

Program extraction via typed realisability for induction and coinduction

著录项

相似文献

相关主题

期刊订阅