首页> 外文OA文献 >Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes

【2h】

Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes

机译：使用动态抽象数据类型的代数高级网络的抽象数据类型语义

页面导航

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

著录项

作者
Julia Padberg;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Arity-generic datatype-generic programming: (abstract only) [J] . Weirich Stephanie, Casinghino Chris ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2009,第11期

机译：Arity通用数据类型通用编程：（仅抽象）
2. Categorical Abstract Algebraic Logic: Referential Algebraic Semantics [J] . George Voutsadakis Studia Logica . 2013,第4期

机译：分类抽象代数逻辑：参照代数语义
3. Categorical Abstract Algebraic Logic: Algebraic Semantics for Institutions [J] . Voutsadakis G. Mathematical logic quarterly: MLQ . 2013,第3期

机译：分类抽象代数逻辑：机构的代数语义
4. Abstract Datatypes for Real Numbers in Type Theory [C] . Martin Hoetzel Escardo, Alex Simpson Rewriting and typed lambda calculi . 2014

机译：类型理论中实数的抽象数据类型
5. A STUDY OF THE CONTRIBUTIONS OF EARLY NINETEENTH CENTURY BRITISH MATHEMATICIANS TO THE DEVELOPMENT OF ABSTRACT ALGEBRA AND THEIR INFLUENCE ON LATER ALGEBRAISTS AND MODERN SECONDARY CURRICULA. [D] . PICCOLINO, ANTHONY VICTOR. 1984

机译：十九世纪初英国数学家对抽象代数发展的贡献及其对以后代数和现代中学课程的影响的研究。
6. HyperCAT: an extension of the SuperCAT database for global multi-scheme and multi-datatype phylogenetic analysis of the Bacillus cereus group population [O] . Nicolas J. Tourasse, Ole Andreas Økstad, Anne-Brit Kolstø 2010

机译：HyperCAT：SuperCAT数据库的扩展用于蜡状芽孢杆菌群种群的全球多方案和多数据类型系统发育分析
7. Relations as abstract datatypes: An institution to specify relations between algebras [O] . Hubert Baumeister 1995

机译：关系作为抽象数据类型：一个指定代数之间关系的机构
8. Abstract Datatypes in PVS [R] . Owre, S. , Shankar, N. 1997

机译：pVs中的抽象数据类型

Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes

著录项

引文网络

相似文献

相关主题

期刊订阅