作 者:Kevin Henshall ;Peter Schachte ;Harald Søndergaard 等
出 处:Chicago Journal of Theoretical Computer Science. 2010 ;2010.
出 版 社:MIT Press ; University of Chicago, Department of Computer Science
文 章 ID:47571200
作 者:Roberto Amadini ;Graeme Gange ;Peter Schachte 等
出 处:OASIcs : OpenAccess Series in Informatics. 2020 ;86:1-19.doi:10.4230/OASIcs.Gabbrielli.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:257805137