作　　者：Danel Ahman ;Marko Kääramees

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;80:115-129.doi:10.4204/EPTCS.80.9

出 版 社：Open Publishing Association

文 章 ID：83120483

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

作　　者：Danel AHMAN ;Tarmo UUSTALU

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

出 版 社：National Institute of Informatics

文 章 ID：217948455

作　　者：Danel Ahman ;James Chapman ;Tarmo Uustalu

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:14)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692131

作　　者：Danel Ahman ;Tarmo Uustalu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:1-23.doi:10.4230/LIPIcs.TYPES.2013.1

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

文 章 ID：186846495