×
里德·所罗门（编辑）

符号逻辑协会2010年北美年会。乔治华盛顿大学，华盛顿特区，2010年3月17日至20日。 （英语） Zbl 1207.03006号

牛市。符号。日志。 17，第1期，127-154（2011）.
邀请和贡献的会谈摘要。

MSC公司：

03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
00亿05 讲座摘要集
PDF格式BibTeX公司 XML格式引用
\textit{R.Solomon}（编辑），公牛。符号。日志。17，编号1，127--154（2011；Zbl 1207.03006）
全文： DOI程序

参考文献：

[1] 石头空间（1982）·Zbl 0499.54001号
[2] 几何和逻辑中的滑轮：拓扑学的第一次介绍（1992）
[3] 复杂性和实际计算（1998年）
[4] 深沉的美
[5] 合成
[6] 数字对象标识码：10.1007/s00220-009-0865-6·Zbl 1209.81147号 ·doi:10.1007/s00220-009-0865-6
[7] 内政部：10.1142/S0219061307000676·Zbl 1150.03012号 ·doi:10.1142/S0219061307000676
[8] DOI:10.2307/19968621·Zbl 0015.14603号 ·doi:10.2307/1968621
[9] 递归理论与复杂性第81页–（1999）
[10] DOI:10.1016/j.apal.2005.05.018·Zbl 1103.18001号 ·doi:10.1016/j.apal.2005.05.018
[11] 伦敦数学学会讲义系列，224页，第93页–（1996）
[12] 2005年计算机科学理论专题讨论会3404 pp 412–（2005）
[13] 2005年计算机科学理论专题讨论会3404 pp 412–（2005）
[14] DOI:10.1007/BF01668470·Zbl 0382.03033号 ·doi:10.1007/BF01668470
[15] 内政部：10.2178/jsl/1245158095·Zbl 1201.03025号 ·doi:10.2178/jsl/1245158095
[16] 内政部：10.1007/s00029-003-0339-1·Zbl 1060.12003号 ·doi:10.1007/s00029-003-0339-1
[17] 文件编号：10.1007/BF00370149·Zbl 0844.03032号 ·doi:10.1007/BF00370149
[18] 伊利诺伊州数学杂志52 pp 901–（2008）
[19] 逻辑部分公告37第19页–（2008）
[20] 广义伽罗瓦逻辑。非经典逻辑计算的关系语义188（2008）·Zbl 1222.03001号
[21] 第四届智能系统方法国际研讨会第201页–（1989）
[22] TARK IV会议记录第95页–（1992）
[23] 符号逻辑公报12第166页–（2006）
[24] 内政部：10.1007/BF00484949·Zbl 0307.02028号 ·doi:10.1007/BF00484949
[25] 内政部：10.2307/1969080·Zbl 0060.06206号 ·doi:10.2307/1969080
[26] 动态认知逻辑（2007）
[27] DOI:10.1016/j.apal.2004.07.001·Zbl 1076.03024号 ·doi:10.1016/j.apal.2004.07.001
[28] 逻辑、语言和计算研究所（2007）
[29] 内政部：10.2140/pjm.1984.113.51·Zbl 0603.13019号 ·doi:10.2140/pjm.1984.113.51
[30] 非阿基米德函数分析（1978）·兹伯利039.66061
[31] 模型理论及其在代数和分析中的应用II pp 315–（2008）
[32] DOI:10.1002/cpa.3160110102·Zbl 0168.31802号 ·doi:10.1002/cpa.3160110102
[33] DOI:10.1016/S0168-0072（98）00021-9·Zbl 0929.03043号 ·doi:10.1016/S0168-0072（98）00021-9
[34] 内政部：10.1016/0168-0072（91）90017-G·Zbl 0724.13008号 ·doi:10.1016/0168-0072（91）90017-G
[35] 内政部：10.1090/S0002-9947-99-02498-8·兹伯利0922.03054 ·doi:10.1090/S0002-9947-99-02498-8
[36] CiE 2009：数学理论与计算实践，（德国海德堡）5635 pp 324–（2009）
[37] MODNET预打印服务器178第1页–（2009年）
[38] 分类理论和非同构模型的数量（1978）
[39] 内政部：10.1305/ndjfl/1063372196·Zbl 1034.03040号 ·doi:10.1305/ndjfl/1063372196
[40] 内政部：10.1017/S0963548304006716·Zbl 1059.05103号 ·doi:10.1017/S0963548304006716
[41] DOI:10.1016/S0168-0072（02）00080-5·Zbl 1010.03024号 ·doi:10.1016/S0168-0072（02）00080-5
[42] DOI:10.1016/j.entcs.2009.07.089·Zbl 1338.03113号 ·doi:10.1016/j.entcs.2009.07.089
[43] 合成
[44] 大阪数学杂志29页267页–（1992）
[45] 打字Lambdacalculus及其应用（巴西巴西利亚，2009）5608 pp 172–（2009）
[46] 数学教学–在线研究杂志3第1页–（2009年）
[47] 计算机科学中的数学结构
[48] 《逻辑与分析杂志》第1页-（2009年）
[49] 计算机科学中的数学结构（2009）
[50] 内政部：10.1017/S0305004108001783·Zbl 1205.03065号 ·doi:10.1017/S0305004108001783
[51] 内政部：10.1002/每周200310066·Zbl 1035.03017号 ·doi:10.1002/malq.200310066
[52] DOI:10.1007/BF02367027·doi:10.1007/BF02367027
[53] DOI:10.1016/j.jco.2006.09.004·Zbl 1151.03019号 ·doi:10.1016/j.jco.2006.09.004
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。