Interior design
- 期刊名称Nature Materials
- 作者Stoddart, Alison
- 卷第11卷
- 期第10期
- 印刷ISSN1476-1122
- 电子ISSN1476-4660
- 文件大小287.10KB
- 发表时间2012-9-24
- DOI10.1038/nmat3445
- 页码829-829
Stratified institutions and elementary homomorphismsMarc Aiguier; Răzvan Diaconescu · 2007
Interpolation in Grothendieck InstitutionsRăzvan Diaconescu · 2004
Behavioural specification for hierarchical object compositionRăzvan Diaconescu · 2005
Logical foundations of CafeOBJRăzvan Diaconescu; Kokichi Futatsugi · 2002
An Overview of CafeOBJRăzvan Diaconescu; Kokichi Futatsugi; Makoto Ishisone; Ataru T. Nakagawa; Toshimi Sawada · 1998
Saturated models in institutionsRăzvan Diaconescu; Marius Petria · 2010
Grothendieck Inclusion SystemsRăzvan Diaconescu · 2011
What is a Logic Translation?Till Mossakowski; Răzvan Diaconescu; Andrzej Tarlecki · 2009
Editorial BoardInformation Processing Letters · 2012
Editorial BoardInformation Processing Letters · 2013
Editorial BoardInformation Processing Letters · 2013
Parallel multiplier for trinomialsPark, Sun-Mi; Chang, Ku-Young; Hong, Dowon · Information Processing Letters · 2013
Non-extendible latin parallelepipedsKochol, Martin · Information Processing Letters · 2012
Counting closed trailsBjörklund, Andreas; Kaski, Petteri · Information Processing Letters · 2013
Online constrained optimization with recourseAvitabile, T.; Mathieu, C.; Parkinson, L. · Information Processing Letters · 2013
Memoryless near-collisions, revisitedLamberger, Mario; Teufl, Elmar · Information Processing Letters · 2013