智云搜索
首页
搜索
文献
期刊
会议
图书
课程
数据分析
学者
主题
机构
期刊
学科
地区
帮助
欢迎您:西北民族大学图书馆
个人账号登录
基本资料
我的订阅
我的收藏
求助记录
退出登录
消息
图书章节
Representability and Independence
收藏
代表性和独立性
原文求助
发布源
基本信息
摘要
引用文献
相关文献
引用格式
作者
Marcelo Fabián Frias[1]
作者单位
[1]University of Buenos Aires, Argentina
发布日期
Jul 2002
页码
37–48
DOI
10.1142/9789812777928_0004
来源信息
Fork Algebras in Algebra, Logic and Computer Science
ISBN:9789814489270, 2002年, 37–48页
摘要
The following sections are included: Representability of Abstract Fork Algebras Independence of the Axiomatization of Fork
摘要译文
包括以下部分:抽象叉代数的可表示性叉的公理化的独立性
Stable independence and complexity of representation
代表性的稳定独立性和复杂性
Independence of question-answering strategy and searched representation
问题回答战略的独立性和代表性搜索
Testing the Independence of Representational Change Theory Processes
测试代表性变革理论过程的独立性
On Network Application representation and controller independence in SDN
在SDN网络应用的代表性和独立性控制器
Cross-Validation of Representational Structures Using the Attribute-Challenge Technique and the Test of Context Independence: The Social Representation of Health
使用属性挑战技术的代表性结构的交叉验证以及背景独立性的考验:健康的社会代表性
State-dependent representation independence
依赖国家的独立性
Independence of ℓ-adic representations of geometric Galois groups
几何galois群的独立性的独立性
Internalizing representation independence with univalence
与单价的内化表示独立性
How to prove representation-independent independence results
如何证明独立于表示的独立性结果
Representation independence and data abstraction
表示独立性和数据抽象
Marcelo Fabián Frias[1]. Representability and Independence. Fork Algebras in Algebra, Logic and Computer Science[M].SG: WS, 2002: 37–48