Descriptive Complexity of Finite Structures: Saving the Quantifier Rank
- 期刊名称The Journal of Symbolic Logic
- 作者Oleg Pikhurko and Oleg Verbitsky
- 卷第70卷
- 期第2期
- 印刷ISSN0022-4812
- 文件大小3059.68KB
- 发表时间2005-06
- DOI10.2307/27588371
- 页码419-450
Syntheses: Modelling of polycrystal plasticityMecking, H · Modelling and Simulation in Materials Science and Engineering · 1999
Electromechanical simulations of dislocationsSkiba, Oxana; Gracie, Robert; Potapenko, Stanislav · Modelling and Simulation in Materials Science and Engineering · 2013
Author index with titlesModelling and Simulation in Materials Science and Engineering · 2013
Author index with titlesModelling and Simulation in Materials Science and Engineering · 2009
Author index with titlesModelling and Simulation in Materials Science and Engineering · 2012
Focus section on interface modellingModelling and Simulation in Materials Science and Engineering · 2010
Modelling microstructural evolution during annealingHumphreys, F J · Modelling and Simulation in Materials Science and Engineering · 2000
Extrinsic morphology of grapheneLi, Teng · Modelling and Simulation in Materials Science and Engineering · 2011