Home
About
Logic at PKU
Notable logicians
About CLLC
Annual Reports
People
Members
Guest Professors
Postdocs/Visitors
Students
Alumni
News
Events
News
Seminars
Scholarship
Others
LLCC
Admission
逻辑学科点介绍
博士生招生简介
博士生招生方向
博士生复试要求
硕士生招生简介
Teaching
Courses
Seminar Plans
Downloads
Research
Projects
Papers
Links
综合数据库
专业数据库
其它数据库
Home
About
Logic at PKU
Notable logicians
About CLLC
Annual Reports
People
Members
Guest Professors
Postdocs/Visitors
Students
Alumni
News
Events
News
Seminars
Scholarship
Others
LLCC
Admission
逻辑学科点介绍
博士生招生简介
博士生招生方向
博士生复试要求
硕士生招生简介
Teaching
Courses
Seminar Plans
Downloads
Research
Projects
Papers
Links
综合数据库
专业数据库
其它数据库
Home
»
News
»
News
» 9月15日 Lukas Zenger报告
Events
News
Seminars
Scholarship
Others
LLCC
News
Events
News
Seminars
Scholarship
Others
LLCC
9月15日 Lukas Zenger报告
发布日期：2026-09-23
作者：
9月15日，Lukas Zenger做了题为《Cyclic Proofs with Nested Sequents》
的报告。
