电话：010-85195300
E-mail：cassoa@cass.org.cn
地址：中国北京建国门内大街5号中国社会科学院1#楼
扫一扫关注微信
国家哲学社会科学文献中心版权所有
作 者：Jean-Yves Marion
出 处：Logical Methods in Computer Science. 2009 ;5(01).doi:10.2168/LMCS-5(1:7)2009
出 版 社：Technical University of Braunschweig
文 章 ID：47109791
作 者：Jean-Yves Marion ;Romain Pechoux
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:316-327.doi:10.4230/LIPIcs.FSTTCS.2008.1763
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186845502
作 者：Susanne Albers ;Jean-Yves Marion
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:1-7.doi:10.4230/LIPIcs.STACS.2009.1858
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186845526
作 者：Jean-Yves Marion ;Thomas Schwentick
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:1-6.doi:10.4230/LIPIcs.STACS.2010.2439
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186845624
作 者：Jean-Yves Marion ;Thomas Schwentick
出 处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:7-10.doi:10.4230/LIPIcs.STACS.2010.2505
出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID：186845625
作 者：Emmanuel Hainry ;Bruce M. Kapron ;Jean-Yves Marion 等
出 处：Logical Methods in Computer Science. 2022 ;18(1):1-31.doi:10.46298/lmcs-18(1:33)2022
出 版 社：Technical University of Braunschweig
文 章 ID：1038046942