海量图书期刊资源,随时随地畅享阅读乐趣
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