电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Thorsten Altenkirch ;James Chapman ;Tarmo Uustalu
出 处：Journal of Formalized Reasoning. 2014 ;7(1):1-43.doi:10.6092/issn.1972-5787/4389
出 版 社：Alma Mater Studiorum - University of Bologna
文 章 ID：100489222
作 者：Thorsten Altenkirch ;Colin Geniet
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-20.doi:10.4230/LIPIcs.TYPES.2019.4
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：256859673
作 者：Thorsten Altenkirch ;Ambrus Kaposi
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:3:1-3:27.doi:10.4230/LIPIcs.TYPES.2015.3
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：220015478
作 者：Thorsten Altenkirch ;Ondrej Rypacek
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:16-30.doi:10.4230/LIPIcs.CSL.2012.16
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186846148
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:i-xii.doi:10.4230/LIPIcs.TLCA.2015.i
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186846851
作 者：Thorsten Altenkirch ;Ambrus Kaposi
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:6:1-6:16.doi:10.4230/LIPIcs.FSCD.2016.6
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847438
作 者：Thorsten Altenkirch ;Paolo Capriotti ;Nicolai Kraus
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:21:1-21:17.doi:10.4230/LIPIcs.CSL.2016.21
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847938