作 者:Robert Goldblatt ;Computation, Victoria University of Wellington ;Ian Hodkinson
出 处:Australasian Journal of Logic. 2007 ;5(0).
出 版 社:Philosophy Department, University of Melbourne
文 章 ID:185343327
作 者:Robert Goldblatt
出 处:Journal of Universal Computer Science. 2005 ;11(12):1945-1962.
出 版 社:Graz University of Technology and Know-Center
文 章 ID:186875550