逻辑中的拓扑代数与范畴2017(TACL 2017)国际会议

• 作者: 蛰泰
• 来源期刊: 中国哲学年鉴
• 学科: 哲学
• 关键词: 计算复杂性 逻辑 中山大学 捷克
• 年，卷（期）: 2018,（1）
• 页码范围: 475-475
• 页数: 1页
• 分类号: B

摘要

2017年6月26—30日在捷克布拉格召开,由捷克科学院计算研究所与查理大学共同举办。中山大学逻辑与认知研究所林哲研究员应邀参加会议,并作了题为“关于剩余格的等式理论的计算复杂性”的报告。