The Complexity of Infinite Computations In Models of Set Theory

机译：集合论模型中无限计算的复杂性

代理获取

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

页面导航

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

摘要

Final version, published in Logical Methods in Computer Science.

机译：最终版本发表在《计算机科学的逻辑方法》中。

著录项

作者
Finkel Olivier;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The Complexity of Infinite Computations In Models of Set Theory [J] . OlivierFinkel Logical Methods in Computer Science . 2009,第4期

机译：集合论模型中无限计算的复杂性
2. RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY [J] . MERLINCARL, PHILIPPSCHLICHT Journal of Symbolic Logic . 2018,第2期

机译：无限计算随机性和有效的描述性集合理论
3. The Modeling and Complexity of Dynamical Systems by Means of Computation and Information Theories [J] . Robert Logozar, Alen Lovrencic Journal of Information and Organizational Sciences . 2011,第2期

机译：基于计算和信息论的动力学系统建模与复杂性
4. Computational adequacy for recursive types in models of intuitionistic set theory [C] . Simpson, A. . 2002

机译：直觉集合论模型中递归类型的计算充分性
5. Modeling Identity-Based Conflict and Genocide - An Approach Informed by Complexity Theory and Computational Social Science [D] . von Briesen, Elizabeth Munira. 2020

机译：基于身份的冲突和种族灭绝模拟 - 复杂性理论与计算社会科学的信息
6. Bridging the gap between complexity science and clinical practice by formalizing idiographic theories: a computational model of functional analysis [O] . Julian Burger, Date C. van der Veen, Donald J. Robinaugh, 2020

机译：通过形式化学版理论促进复杂性科学与临床实践之间的差距：功能分析的计算模型
7. The Complexity of Infinite Computations In Models of Set Theory [O] . Finkel, Olivier 2009

机译：集合论模型中无限计算的复杂性
8. On the Computational Complexity of Finding Maxima of a Set of Vectors, [R] . kung, h. t. 1974

机译：关于求一组向量的最大值的计算复杂性，

The Complexity of Infinite Computations In Models of Set Theory

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅