电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Rajeev Alur ;Marcelo Arenas ;Pablo Barcelo 等
出 处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:11)2008
出 版 社：Technical University of Braunschweig
文 章 ID：47109816
作 者：Marcelo Arenas ;Juan Reutter ;Etienne Toussaint 等
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:54:1-54:16.doi:10.4230/LIPIcs.STACS.2020.54
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：255823593
作 者：Marcelo Arenas ;Mart{\'i}n Ugarte
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:i-xvi.doi:10.4230/LIPIcs.ICDT.2015.i
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186846704
作 者：Susana Eyheramendy ;Pedro A. Saa ;Eduardo A. Undurraga 等
出 处：iScience. 2021 ;24(12):1-17.doi:10.1016/j.isci.2021.103419
出 版 社：Elsevier
文 章 ID：1036193986