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

Madison

書目名稱Logic of Programs影響因子(影響力)




書目名稱Logic of Programs影響因子(影響力)學科排名




書目名稱Logic of Programs網(wǎng)絡公開度




書目名稱Logic of Programs網(wǎng)絡公開度學科排名




書目名稱Logic of Programs被引頻次




書目名稱Logic of Programs被引頻次學科排名




書目名稱Logic of Programs年度引用




書目名稱Logic of Programs年度引用學科排名




書目名稱Logic of Programs讀者反饋




書目名稱Logic of Programs讀者反饋學科排名

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.