首页> 外文OA文献 >Galois embedding from universal types into existential types : Extended Abstract(Algorithmic problems in algebra, languages and computation systems)

【2h】

Galois embedding from universal types into existential types : Extended Abstract(Algorithmic problems in algebra, languages and computation systems)

机译：Galois从通用类型嵌入到存在类型中：扩展抽象（代数，语言和计算系统中的算法问题）

代理获取

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

页面导航

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

著录项

作者
Fujita Ken-etsu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Galois embedding from universal types into existential types Extended Abstract - [J] . Ken-etsu Fujita, 藤田憲悅数理解析研究所讲究录 . 2006,第1503期

机译：Galois从通用类型嵌入到存在类型中扩展的摘要-
2. Universality and semicomputability for nondeterministic programming languages over abstract algebras [J] . Wei Jiang, Yuan Wang, Jeffery Zucker Journal of Logic and Algebraic Programming . 2007,第1期

机译：抽象代数上不确定性编程语言的通用性和半可计算性
3. Algebraically Coherent Languages for Efficient Algorithm Construction Universal Languages and Optimal Principle. [J] . Juan-Esteban Palomar Tarancón International Journal of Open Problems in Computer Science and Mathematics . 2011,第2期

机译：高效算法构造的代数相干语言通用语言和最佳原理。
4. Galois Embedding from Polymorphic Types into Existential Types [C] . Ken-etsu Fujita International Conference Typed Lambda Calculi and Applications(TLCA 2005); 20050421-23; Nara(JP) . 2005

机译：Galois从多态类型嵌入到现有类型
5. Abstract data types and extended domain operations in a nested relational algebra. [D] . Zheng, Yi. 2003

机译：嵌套关系代数中的抽象数据类型和扩展域操作。
6. Integral Images: Efficient Algorithms for Their Computation and Storage in Resource-Constrained Embedded Vision Systems [O] . Shoaib Ehsan, Adrian F. Clark, Naveed ur Rehman, 2015

机译：积分图像：在资源受限的嵌入式视觉系统中进行有效计算和存储的算法
7. A Galois embedding from polymorphic types into existential types : Extended Abstract (Proof Theory and Computation Theory) [O] . Fujita Ken-etsu, Hasegawa Masahito 2005

机译：从多态类型嵌入存在类型的Galois：扩展抽象（证明理论和计算理论）
8. Fault Tolerance in Galois Trees:An Algorithm for Detection and Location of Stuck-at Type Errors in Trees of Galois Linear Modules. [R] . marver, j. m. 1975

机译：伽罗瓦树中的容错：伽罗瓦线性模块树中陷入型误差的检测与定位算法。

Galois embedding from universal types into existential types : Extended Abstract(Algorithmic problems in algebra, languages and computation systems)

著录项

引文网络

相似文献

相关主题

期刊订阅