作 者:Ondrej Klima ;Jirí Srba
出 处:BRICS Report Series. 2000 ;7(13).
出 版 社:Aarhus University
文 章 ID:101759870
作 者:Jirí Srba
出 处:BRICS Report Series. 2000 ;7(16).
出 版 社:Aarhus University
文 章 ID:101760117
作 者:Jirí Srba
出 处:Logical Methods in Computer Science. 2009 ;5(01).doi:10.2168/LMCS-5(1:2)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47109789
作 者:Jirí Srba
出 处:BRICS Report Series. 2001 ;8(19).
出 版 社:Aarhus University
文 章 ID:186804737
作 者:Jirí Srba
出 处:BRICS Report Series. 2001 ;8(50).
出 版 社:Aarhus University
文 章 ID:186804767
作 者:Jirí Srba
出 处:BRICS Report Series. 2002 ;9(16).
出 版 社:Aarhus University
文 章 ID:186804788
作 者:Hans Hüttel ;Jirí Srba
出 处:BRICS Report Series. 2003 ;10(47).
出 版 社:Aarhus University
文 章 ID:186804866
作 者:Petr Jancar ;Jirí Srba
出 处:BRICS Report Series. 2004 ;11(8).
出 版 社:Aarhus University
文 章 ID:186804880
作 者:Hans Hüttel ;Jirí Srba
出 处:BRICS Report Series. 2004 ;11(23).
出 版 社:Aarhus University
文 章 ID:186804895
作 者:Jirí Srba
出 处:BRICS Report Series. 2005 ;12(28).
出 版 社:Aarhus University
文 章 ID:186804941