Challenging unsustainable development through research cooperation
- 期刊名称Local Environment
- 作者Levidow, Les; Oreszczyn, Sue
- 卷第17卷
- 期第1期
- 印刷ISSN1354-9839
- 电子ISSN1469-6711
- 文件大小508.01KB
- 发表时间2012-01
- DOI10.1080/13549839.2011.627680
- 页码35-56
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