Titlebook: Logic of Programs; Workshop, ETH Zürich Erwin Engeler Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Programs.algebra.a

Madison

書(shū)目名稱(chēng)Logic of Programs影響因子(影響力)




書(shū)目名稱(chēng)Logic of Programs影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Logic of Programs網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Logic of Programs網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Logic of Programs被引頻次




書(shū)目名稱(chēng)Logic of Programs被引頻次學(xué)科排名




書(shū)目名稱(chēng)Logic of Programs年度引用




書(shū)目名稱(chēng)Logic of Programs年度引用學(xué)科排名




書(shū)目名稱(chēng)Logic of Programs讀者反饋




書(shū)目名稱(chēng)Logic of Programs讀者反饋學(xué)科排名

CANON

Monocle

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588032.jpg

Angiogenesis

小樣他閑聊

Logic of Programs978-3-540-38631-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

Ganglion

0302-9743 Overview: 978-3-540-11160-3978-3-540-38631-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

exclusice

https://doi.org/10.1007/3-540-11160-3Programs; algebra; algorithms; duality; logic; proposition

Collected

得體

fixed-joint

A survey of the logic of effective definitions,LED, the Logic of Effective Definitions, is an extension of first order predicate calculus used for making assertions about programs. Programs are modeled as effective definitional schemes (following Friedman). Logical properties of LED and its relations to classical logics and other programming logics are surveyed.