停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

Revantha Ramanayake公司

>主页 >珀森斯

人员信息

隶属关系： 荷兰格罗宁根大学
隶属关系： TU Wien，维也纳，奥特里亚
隶属关系： 澳大利亚堪培拉澳大利亚国立大学

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[第14条]
- 无可用文档
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/deon/CiabattoniOPRR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/deon/CiabattoniOPRR23
阿加塔·西阿巴托尼,尼古拉·奥利维蒂,Xavier父母,Revantha Ramanayake公司,德米特里·罗兹普洛哈斯:
奥奎斯特系统F的分析证明理论。 DEON公司 2023:79-98
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/CiabattoniLR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/CiabattoniLR23
阿加塔·西阿巴托尼,蒂莫·朗,Revantha Ramanayake公司:
切割限制：从切割到分析切割。许可证 2023:1月13日
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/2023
Revantha Ramanayake公司,约瑟夫·乌尔班:
使用分析表和相关方法的自动推理——第32届国际会议，Tableaux 2023，捷克共和国布拉格，2023年9月18日至21日，会议记录。计算机科学课堂讲稿14278,施普林格 2023，国际标准图书编号978-3-031-43512-6 [目录]
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2304-13657
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2304-13657
阿加塔·西阿巴托尼,蒂莫·朗,Revantha Ramanayake公司:
削减限制：从削减到分析削减。 CoRR公司 abs/2304.13657(2023)
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2312-03426
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2312-03426
蒂姆·S·里昂,阿加塔·西阿巴托尼,迪迪埃·加尔米奇,多米尼克·拉奇·温德林,丹尼尔·梅里,尼古拉·奥利维蒂,Revantha Ramanayake公司:
内部和外部演算：在不迷失于翻译的情况下订购丛林。 CoRR公司 abs/2312.03426(2023)
2022
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2203-01600
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2203-01600
阿加塔·西阿巴托尼,蒂莫·朗,Revantha Ramanayake公司:
切割-限制理论：第一步。 CoRR公司 abs/2203.01600(2022)
2021
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/CiabattoniLR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/CiabattoniLR21
阿加塔·西阿巴托尼,蒂莫·朗,Revantha Ramanayake公司:
超序列逻辑的有界分析序列演算和嵌入。 J.塞姆。日志。 86(2):635-668(2021)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/CiabattoniLRT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/CiabattoniLRT21
阿加塔·西阿巴托尼,蒂姆·S·里昂,Revantha Ramanayake公司,Alwen Tiu先生:
显示到带标签的校对，然后再次返回到时态逻辑。 ACM事务处理。计算。日志。 22(三):20:1-20:31(2021)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Balasubramanian21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Balasubramanian21
A.R.巴拉苏布拉曼尼亚语,蒂莫·朗,Revantha Ramanayake公司:
弱化和收缩超序列子结构逻辑中的可判定性和复杂性。许可证 2021:1月13日
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/GoreRS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/GoreRS21
拉杰夫·戈尔,Revantha Ramanayake公司,伊恩·希利托:
通过终止证明搜索减少可证明逻辑：使用Coq进行形式化和解构。 TABLEAUX公司 2021:299-313
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2104-09716
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-09716
A.R.巴拉苏布拉曼尼亚语,蒂莫·朗,Revantha Ramanayake公司:
弱化和收缩超序列子结构逻辑中的可判定性和复杂性。 CoRR公司 abs/2104.09716(2021)
2020
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Ramanayake20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Ramanayake20
Revantha Ramanayake公司:
超序列子结构逻辑的扩展Kripke引理和可判定性。许可证 2020:795-806

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[c9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/CiabattoniLR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/CiabattoniLR19
阿加塔·西阿巴托尼,蒂莫·朗,Revantha Ramanayake公司:
通过超序列的非经典逻辑的有界序列演算。 TABLEAUX公司 2019:94-110
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/PimentelRL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/PimentelRL19
伊莱恩·皮门特尔,Revantha Ramanayake公司,比约恩·勒尔曼:
序列化嵌套系统。 TABLEAUX公司 2019:147-165
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1911-02289
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1911-02289
阿加塔·西阿巴托尼,蒂姆·里昂,Revantha Ramanayake公司,Alwen Tiu先生:
显示到带标签的校对，然后再次返回到时态逻辑。 CoRR公司 abs/1911.02289(2019)
2018
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Ramanayake18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Ramanayake18
Revantha Ramanayake公司:
诱导索引嵌套序列的句法删减。日志。方法计算。科学。 14(4)(2018)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/CiabattoniGR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/CiabattoniGR18
阿加塔·西阿巴托尼,弗朗西斯科·詹科,Revantha Ramanayake公司:
子结构逻辑：语义、证明理论和应用。第二次SYSMICS研讨会报告。 ACM SIGLOG新闻 5(2):58-60(2018)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/CiabattoniLR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/CiabattoniLR18
阿加塔·西阿巴托尼,蒂姆·里昂,Revantha Ramanayake公司:
从时态逻辑的显示到标签证明。 LFCS公司 2018:120-139
2017
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/CiabattoniR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/CiabattoniR17
阿加塔·西阿巴托尼,Revantha Ramanayake公司:
分布子结构逻辑的束超序列演算。 LPAR公司 2017:417-434
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Ramanayake17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Ramanayake17
Revantha Ramanayake公司:
诱导索引嵌套序列的句法删减。 CoRR公司 abs/1703.01356(2017)
2016
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/Ramanayake16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/Ramanayake16
Revantha Ramanayake公司:
非交换的经典算术序列计算是直观的。日志。J.IGPL公司 24(三):441-452(2016)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/CiabattoniR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/CiabattoniR16
阿加塔·西阿巴托尼,Revantha Ramanayake公司:
结构显示规则的权力和限制。 ACM事务处理。计算。日志。 17(三):17(2016)
【c5】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Ramanayake16a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ramanayake16a
Revantha Ramanayake公司:
从公理到证明规则，然后添加量词。 ARQNL@IJCAR 2016:1-8
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Ramanayake16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ramanayake16
Revantha Ramanayake公司:
诱导索引嵌套序列的句法删减。国际JCAR 2016:416-432
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Ramanayake16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Ramanayake16
Revantha Ramanayake公司:
BI可判定性的纯句法证明。 CoRR公司 abs/1609.05847(2016)
2015
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/Ramanayake15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/Ramanayake15
Revantha Ramanayake公司:
在显示演算中嵌入超连续演算。 J.日志。计算。 25(三):921-942(2015)
2014
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/GoreR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sLogica/GoreR14
拉杰夫·戈尔,Revantha Ramanayake公司:
弱Grzegorczyk Logic Go的削减。 Stud Logica公司 102(1):1-27(2014)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/CiabattoniRW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sLogica/CiabattoniRW14
阿加塔·西阿巴托尼,Revantha Ramanayake公司,海因里希·瓦辛:
超序列和显示演算-统一的视角。 Stud Logica公司 102(6):1245-1294(2014)
2013
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/CiabattoniR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/CiabattoniR13
阿加塔·西阿巴托尼,Revantha Ramanayake公司:
显示演算的结构扩展：通用方法。沃尔利克 2013:81-95
2012
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/rsl/GoreR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/rsl/GoreR12
拉杰夫·戈尔,Revantha Ramanayake公司:
瓦伦蒂尼的Provability Logic Cut-Elimination得到解决。版本符号。日志。 5(2):212-238(2012)
【c2】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/GoreR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/GoreR12
拉杰夫·戈尔,Revantha Ramanayake公司:
标记的树序列、树超序列和嵌套（深层）序列。模态逻辑的进展 2012:279-299

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
【c1】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/GoreR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/GoreR08
拉杰夫·戈尔,Revantha Ramanayake公司:
瓦伦蒂尼对可证明逻辑的消减解决了。模态逻辑的进展 2008:67-86

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。