作　　者：Keiko Nakata ;Tarmo Uustalu

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;32:57-75.doi:10.4204/EPTCS.32.5

出 版 社：Open Publishing Association

文 章 ID：83119993

作　　者：Luís Pinto ;Tarmo Uustalu

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;47:57-72.doi:10.4204/EPTCS.47.7

出 版 社：Open Publishing Association

文 章 ID：83120114

作　　者：Tarmo Uustalu

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;77:55-61.doi:10.4204/EPTCS.77.8

出 版 社：Open Publishing Association

文 章 ID：83120469

作　　者：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

作　　者：Hendrik Maarand ;Tarmo Uustalu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.40

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238891948

作　　者：Jos Esp{'i}rito Santo ;Lu{'i}s Pinto ;Tarmo Uustalu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-20.doi:10.4230/LIPIcs.FSCD.2019.18

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238892305

作　　者：Danel Ahman ;Tarmo Uustalu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-19.doi:10.4230/LIPIcs.CALCO.2019.14

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：241520011

作　　者：James Chapman ;Tarmo Uustalu ;Niccolò Veltri

出　　处：Journal of Formalized Reasoning. 2017 ;10(1):1-36.doi:10.6092/issn.1972-5787/6237

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：191691463

作　　者：Danel AHMAN ;Tarmo UUSTALU

出　　处：Progress in Informatics. 2013 ;(10):3-18.doi:10.2201/NiiPi.2013.10.2

出 版 社：National Institute of Informatics

文 章 ID：217948455

作　　者：Tarmo Uustalu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:0:i-0:xii.doi:10.4230/LIPIcs.TYPES.2015.0

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015475