电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Kirstin Peters ;Uwe Nestmann
出 处：Electronic Proceedings in Theoretical Computer Science. 2010 ;41:136-150.doi:10.4204/EPTCS.41.10
出 版 社：Open Publishing Association
文 章 ID：83120078
作 者：Kirstin Peters ;Jens-Wolfhard Schicke ;Uwe Nestmann
出 处：Electronic Proceedings in Theoretical Computer Science. 2011 ;64:89-103.doi:10.4204/EPTCS.64.7
出 版 社：Open Publishing Association
文 章 ID：83120281
作 者：Uwe Nestmann ;Hans Hüttel ;Josva Kleist 等
出 处：BRICS Report Series. 1999 ;6(44).
出 版 社：Aarhus University
文 章 ID：101759812
作 者：Uwe Nestmann
出 处：BRICS Report Series. 1997 ;4(45).
出 版 社：Aarhus University
文 章 ID：101759838
作 者：Uwe Nestmann ;Benjamin C. Pierce
出 处：BRICS Report Series. 1999 ;6(42).
出 版 社：Aarhus University
文 章 ID：101759869
作 者：Uwe Nestmann
出 处：BRICS Report Series. 1999 ;6(43).
出 版 社：Aarhus University
文 章 ID：101759911
作 者：Hans Hüttel ;Josva Kleist ;Uwe Nestmann 等
出 处：BRICS Report Series. 1998 ;5(33).
出 版 社：Aarhus University
文 章 ID：101759983
作 者：Roland Meyer ;Uwe Nestmann
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:0:i-0:xx.doi:10.4230/LIPIcs.CONCUR.2017.0
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：200735166
作 者：Kammüller, Florian ;Uwe Nestmann
出 处：OASIcs : OpenAccess Series in Informatics. 2020 ;84:1-12.doi:10.4230/OASIcs.FMBC.2020.11
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：257805154
作 者：Christina Rickmann ;Christoph Wagner ;Uwe Nestmann 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:19:1-19:15.doi:10.4230/LIPIcs.CONCUR.2016.19
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186847596