先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Revolutions and Revelations in Computability
会议名18th Conference on Computability in Europe (CiE 2022)
中译名《第十八届欧洲可计算性会议》
会议日期July 11-15, 2022
会议地点Swansea, UK
出版年2022
馆藏号344088


题名作者出版年
Calculating the Mind Change Complexity of Learning Algebraic StructuresNikolay Bazhenov; Vittorio Cipriani; Luca San Mauro2022
Well-Orders Realized by C.E. Equivalence RelationsNikolay Bazhenov; Maxim Zubkov2022
Maximal Ideals in Countable Rings, ConstructivelyIngo Blechschmidt; Peter Schuster2022
Programming with Ordinary Differential Equations: Some First Steps Towards a Programming LanguageOlivier Bournez2022
A Game-Theoretic Approach for the Synthesis of Complex SystemsVeronique Bruyere2022
Lower Bounds on β(α)Merlin Carl2022
Proof Complexity of Monotone Branching ProgramsAnupam Das; Avgerinos Delkos2022
Enumerating Classes of Effective Quasi-Polish SpacesMatthew de Brecht; Takayuki Kihara; Victor Selivanov2022
Maps of Restrictions for Behaviourally Correct LearningVanja Doskoc; Timo Kotzing2022
An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak Konig's Lemma with a Uniqueness HypothesisMakoto Fujiwara2022
Defining Long Words Succinctly in FO and MSOLauri Hella; Miikka Vilander2022
Processing Natural Language with Biomolecules: Where Linguistics, Biology and Computation MeetM. Dolores Jimenez Lopez2022
Strong Medvedev Reducibilities and the KL-Randomness ProblemBjorn Kjos-Hanssen; David J. Webb2022
On the Necessity of Some Topological SpacesRobert S. Lubarsky2022
On the Compatibility Between the Minimalist Foundation and Constructive Set TheorySamuele Maschio; Pietro Sabelli2022
Reducing Reachability in Temporal Graphs: Towards a More Realistic Model of Real-World Spreading ProcessesKitty Meeks2022
Hilbert's Tenth Problem for Term Algebras with a Substitution OperatorJuvenal Murwanashyaka2022
Weak Sequential Theories of Finite Full Binary TreesJuvenal Murwanashyaka2022
On Envelopes and Backward ApproximationsEike Neumann2022
On Trees Without Hyperimmune BranchesKeng Meng Ng; Frank Stephan; Yue Yang; Liang Yu2022
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024