作 者:Peter Hertling ;Christoph Spandl
出 处:Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:7)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692164
作 者:Andrej Bauer ;Peter Hertling ;Ker-I Ko
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2248
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848296
作 者:Andrej Bauer ;Peter Hertling ;Ker-I Ko
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2249
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848297
作 者:Ulrich Günther ;Peter Hertling ;Radu Nicolescu 等
出 处:Journal of Universal Computer Science. 1997 ;3(11):1207-1225.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186874795
作 者:Peter Hertling
出 处:Journal of Universal Computer Science. 1997 ;3(11):1226-1240.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186874796
作 者:Peter Hertling ;Yongge Wang
出 处:Journal of Universal Computer Science. 1997 ;3(11):1241-1249.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186874797
作 者:Peter Hertling
出 处:Journal of Universal Computer Science. 2002 ;8(2):235-242.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186874925
作 者:Peter Hertling
出 处:Journal of Universal Computer Science. 1996 ;2(7):549-568.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186875009
作 者:Peter Hertling
出 处:Journal of Universal Computer Science. 2005 ;11(12):1970-1985.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186875552