蒂莫·朗
人员信息
其他同名人员
蒂莫西·朗 蒂莫西·J·朗 蒂莫·兰格 (又名:Timoteo Alberto Peters Lange) 蒂莫西·朗福德 蒂莫西·兰格洛伊斯 蒂莫斯·兰格洛伊斯·塞里安 蒂莫·朗斯特罗夫 蒂莫西·兰吉勒 蒂莫西·兰登·帕森斯
优化列表
2020年-今天
2024 [i6] 迪迪埃·加尔米奇 , 蒂莫·朗 , 大卫·J·派姆 :
极简系统建模:行为、接口和局部推理。 CoRR公司 abs/2401.16109 ( 2024 ) 2023 [c9] 阿加塔·西阿巴托尼 , 蒂莫·朗 , Revantha Ramanayake公司 :
切割限制:从切割到分析切割。 许可证 2023 : 1月13日 【c8】 蒂莫·朗 :
一些规则分析系统。 TABLEAUX公司 2023 : 94-111 [i5] 阿加塔·西阿巴托尼 , 蒂莫·朗 , Revantha Ramanayake公司 :
削减限制:从削减到分析削减。 CoRR公司 abs/2304.13657 ( 2023 ) 2022 [j3] 克里斯蒂安·费米勒 , 蒂莫·朗 , 亚历山德拉·巴夫洛娃 :
从真度比较游戏到哥德尔逻辑的关联序列演算。 泛逻辑 16 ( 1-2 ) : 221-235 ( 2022 ) [注2] 亚历山德拉·巴夫洛娃 , 罗伯特·弗雷曼 , 蒂莫·朗 :
从语义游戏到Provability:哥德尔逻辑案例。 Stud Logica公司 110 ( 2 ) : 429-456 ( 2022 ) [i4] 阿加塔·西阿巴托尼 , 蒂莫·朗 , Revantha Ramanayake公司 :
切割-限制理论:第一步。 CoRR公司 abs/2203.01600 ( 2022 ) 2021 [j1] 阿加塔·西阿巴托尼 , 蒂莫·朗 , Revantha Ramanayake公司 :
超序列逻辑的有界分析序列演算和嵌入。 J.塞姆。 日志。 86 ( 2 ) : 635-668 ( 2021 ) 【c7】 蒂莫·朗 :
违规逻辑的减少。 DEON公司 2021 : 291-307 【c6】 汉斯·德莫特·多兰 , 蒂莫·朗 :
功能安全相关应用的动态锁步处理器。 ETFA公司 2021 : 1-4 【c5】 A.R.巴拉苏布拉曼尼亚语 , 蒂莫·朗 , Revantha Ramanayake公司 :
弱化和收缩超序列子结构逻辑中的可判定性和复杂性。 许可证 2021 : 1月13日 [i3] A.R.巴拉苏布拉曼尼亚语 , 蒂莫·朗 , Revantha Ramanayake公司 :
弱化和收缩超序列子结构逻辑中的可判定性和复杂性。 CoRR公司 abs/2104.09716 ( 2021 ) [i2] 汉斯·德莫特·多兰 , 蒂莫·朗 :
功能安全相关应用的动态锁步处理器。 CoRR公司 abs/2107.08997 ( 2021 ) 2020 【c4】 克里斯蒂安·弗缪勒(Christian G.Fermüller) , 蒂莫·朗 , 亚历山德拉·巴夫洛娃 :
从真度比较游戏到哥德尔逻辑的关联序列演算。 IPMU(1) 2020 : 257-270
2010 – 2019
2019 【c3】 阿加塔·西阿巴托尼 , 蒂莫·朗 , Revantha Ramanayake公司 :
通过超序列的非经典逻辑的有界序列演算。 TABLEAUX公司 2019 : 94-110 【c2】 蒂莫·朗 , 卡洛斯·奥拉特 , 伊莱恩·皮门特尔 , 克里斯蒂安·弗缪勒(Christian G.Fermüller) :
有成本证明的博弈模型。 TABLEAUX公司 2019 : 241-258 [i1] 蒂莫·朗 , 卡洛斯·奥拉特 , 伊莱恩·皮门特尔 , 克里斯蒂安·弗缪勒(Christian G.Fermüller) :
有成本证明的博弈模型。 CoRR公司 abs/1906.11742 ( 2019 ) 2017 【c1】 克里斯蒂安·弗缪勒(Christian G.Fermüller) , 蒂莫·朗 :
将Sequent Calculi解释为Client-Server游戏。 TABLEAUX公司 2017 : 98-113