作 者:Aaron Stump ;Vilhelm Sjöberg ;Stephanie Weirich
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;43:76-93.doi:10.4204/EPTCS.43.6
出 版 社:Open Publishing Association
文 章 ID:83120090
作 者:Chris Casinghino ;Vilhelm Sjöberg ;Stephanie Weirich
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;76:25-39.doi:10.4204/EPTCS.76.4
出 版 社:Open Publishing Association
文 章 ID:83120455
作 者:Vilhelm Sjöberg ;Chris Casinghino ;Ki Yung Ahn 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;76:112-162.doi:10.4204/EPTCS.76.9
出 版 社:Open Publishing Association
文 章 ID:83120460
作 者:Anastasiya Kravchuk-Kirilyuk ;Antoine Voizard ;Stephanie Weirich
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;175:1-31.doi:10.4230/LIPIcs.TYPES.2019.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:256859676
作 者:Zhenjiang HU ;Shin-Cheng MU ;Stephanie WEIRICH
出 处:Progress in Informatics. 2013 ;(10):1-2.doi:10.2201/NiiPi.2013.10.1
出 版 社:National Institute of Informatics
文 章 ID:217948454
作 者:Garrin KIMMELL ;Aaron STUMP ;Harley D. EADES 等
出 处:Progress in Informatics. 2013 ;(10):19-46.doi:10.2201/NiiPi.2013.10.3
出 版 社:National Institute of Informatics
文 章 ID:217948456
作 者:Shin-CHENG MU ;Conor MCBRIDE ;Stephanie WEIRICH
出 处:Progress in Informatics. 2013 ;(10):149-155.doi:10.2201/NiiPi.2013.10.8
出 版 社:National Institute of Informatics
文 章 ID:217948461
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:9-9.doi:10.4230/LIPIcs.RTA.2011.9
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845905