[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || Reasoning about programs with effects
- 作者Deransart, Pierre; Maluszyński, Jan
- 文件大小922.29KB
- 发表时间1990
- DOI10.1007/bfb0024185
- 页码189-203
同作者推荐
Unterschiede im katalytischen Verhalten geometrisch isomerer VerbindungenAlfons Krause; Janina Orlikowska · 1966
Die katalytische Aktivität von 10−6g Ba2+Alfons Krause; Janina Orlikowska · 1962
Eisen(III)-Aluminium-Mischhydroxide und deren katalytisches VerhaltenAlfons Krause; Janina Orlikowska · 1965
Über das unterschiedliche katalytische Verhalten von stellungs-isomeren organischen VerbindungenAlfons Krause; Janina Orlikowska · 1967
Katalytische Mutation und Positionsfaktor von Mehrstoffkatalysatoren, die trotz gleicher Zusammensetzung verschieden aktiv sindAlfons Krause; Janina Orlikowska · 1964