作 者:Amir M. Ben-Amram ;Niels H. Christensen ;Jakob Grue Simonsen
出 处:Chicago Journal of Theoretical Computer Science. 2012 ;2012.
出 版 社:MIT Press ; University of Chicago, Department of Computer Science
文 章 ID:85479185
作 者:Claus Appel ;Vincent van Oostrom ;Jakob Grue Simonsen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:17-32.doi:10.4230/LIPIcs.RTA.2010.17
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845688
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:311-324.doi:10.4230/LIPIcs.RTA.2010.311
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845706
作 者:Niels Bj\orn Bugge Grathwohl ;Jeroen Ketema ;Jens Duelund Pallesen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:61-70.doi:10.4230/LIPIcs.RTA.2011.61
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845911
作 者:Andreas Schnabl ;Jakob Grue Simonsen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:481-495.doi:10.4230/LIPIcs.CSL.2011.481
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846003
作 者:Soren Bjerg Andersen ;Jakob Grue Simonsen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:53-68.doi:10.4230/LIPIcs.RTA.2012.53
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846076
作 者:Cynthia Kop ;Jakob Grue Simonsen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:23:1-23:18.doi:10.4230/LIPIcs.FSCD.2016.23
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847455
作 者:Casper Petersen ;Noy Rotbart ;Jakob Grue Simonsen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:133:1-133:15.doi:10.4230/LIPIcs.ICALP.2016.133
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847730