电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Clemens Grabmayer ;Jan Rochel
出 处：Electronic Proceedings in Theoretical Computer Science. 2013 ;110:56-73.doi:10.4204/EPTCS.110.7
出 版 社：Open Publishing Association
文 章 ID：85356964
作 者：Jan Rochel ;Clemens Grabmayer
出 处：Electronic Proceedings in Theoretical Computer Science. 2011 ;48:85-100.doi:10.4204/EPTCS.48.9
出 版 社：Open Publishing Association
文 章 ID：83120125
作 者：Jörg Endrullis ;Clemens Grabmayer ;Dimitri Hendriks 等
出 处：Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:7)2014
出 版 社：Technical University of Braunschweig
文 章 ID：264691910
作 者：Joerg Endrullis ;Clemens Grabmayer ;Dimitri Hendriks 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:85-102.doi:10.4230/LIPIcs.RTA.2010.85
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186845692
作 者：Clemens Grabmayer ;Jan Rochel
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:206-222.doi:10.4230/LIPIcs.RTA.2013.206
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186846313
出 处：Electronic Proceedings in Theoretical Computer Science. 2019 ;288:1-13.doi:10.4204/EPTCS.288.1
出 版 社：Open Publishing Association
文 章 ID：1034257962