电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Marta Kwiatkowska ;David Parker ;Aistis Simaitis
出 处：Electronic Proceedings in Theoretical Computer Science. 2013 ;112:53-59.doi:10.4204/EPTCS.112.10
出 版 社：Open Publishing Association
文 章 ID：85356984
作 者：Kousha Etessami ;Marta Kwiatkowska ;Moshe Y. Vardi 等
出 处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:8)2008
出 版 社：Technical University of Braunschweig
文 章 ID：47109823
作 者：Pascale Gourdeau ;Varun Kanade ;Marta Kwiatkowska 等
出 处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-19.
出 版 社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
文 章 ID：243029072
作 者：Pascale Gourdeau ;Varun Kanade ;Marta Kwiatkowska 等
出 处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-19.
出 版 社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
文 章 ID：243731479
作 者：Klaus Drager ;Vojtech Forejt ;Marta Kwiatkowska 等
出 处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:16)2015
出 版 社：Technical University of Braunschweig
文 章 ID：264692226
作 者：Volker Turau ;Marta Kwiatkowska ;Rahul Mangharam 等
出 处：OASIcs : OpenAccess Series in Informatics. 2014 ;36:i-x.doi:10.4230/OASIcs.MCPS.2014.i
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848707
作 者：Marta Kwiatkowska ;Alexandru Mereacre
出 处：OASIcs : OpenAccess Series in Informatics. 2014 ;36:137-140.doi:10.4230/OASIcs.MCPS.2014.137
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848721
出 处：OASIcs : OpenAccess Series in Informatics. 2015 ;44:16-16.doi:10.4230/OASIcs.SynCoP.2015.16
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186848893
作 者：Luca Cardelli ;Marta Kwiatkowska ;Luca Laurenti
出 处：Computation. 2021 ;9(10):107.doi:10.3390/computation9100107
出 版 社：MDPI Publishing
文 章 ID：1035752436