Deterministic K-set structure
- 作者Sumit Ganguly; Anirban Majumder
- 卷第109卷
- 期第1期
- 印刷ISSN0020-0190
- 文件大小157.94KB
- 发表时间2008
- DOI10.1016/j.ipl.2008.08.010
- 页码27-31
同作者推荐
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