期刊文章图标

期刊文章

结构相对于等效物的度谱

摘要:

捕捉可数结构同构类型固有复杂性的标准方法是考虑给定结构具有可计算同构副本的所有图灵度集。这组被称为结构的度谱。类似地,为了描述一个理论模型的复杂性,人们可以检查与该理论具有可计算模型相关的所有度的集合。这样一组度称为理论的度谱。我们。。。

展开摘要
发布状态:
出版
同行评审状态:
同行评审

行动


Access文档


文件夹:
发布者副本:
2007年10月10日/10469-019-09534-2

作者


更多作者介绍
机构:
牛津大学
部门:
多协议标签交换
部门:
计算机科学
角色:
作者
出版商:
Springer Verlag公司
日志:
代数与逻辑 本杂志的更多信息
体积:
58
问题:
2
页:
158–172
出版日期:
2019-07-20
验收日期:
2019-07-09
内政部:
国际标准编号:
1573-8302和0002-5232
关键词:
酒吧编号:
酒吧:1041555
用户识别码:
uuid:66ac16cd-8f83-40d3-ba23-5f0460ce7c7c
本地pid:
酒吧:1041555
源标识符:
1041555
存款日期:
2019-09-18

使用条款


查看和下载






如果您是此记录的所有者,可以在此处报告其更新:此记录的报告更新

至顶部