Madison
发表于 2025-3-21 17:26:27
书目名称Logic of Programs影响因子(影响力)<br> http://impactfactor.cn/2024/if/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs影响因子(影响力)学科排名<br> http://impactfactor.cn/2024/ifr/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs网络公开度<br> http://impactfactor.cn/2024/at/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs网络公开度学科排名<br> http://impactfactor.cn/2024/atr/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs被引频次<br> http://impactfactor.cn/2024/tc/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs被引频次学科排名<br> http://impactfactor.cn/2024/tcr/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs年度引用<br> http://impactfactor.cn/2024/ii/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs年度引用学科排名<br> http://impactfactor.cn/2024/iir/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs读者反馈<br> http://impactfactor.cn/2024/5y/?ISSN=BK0588032<br><br> <br><br>书目名称Logic of Programs读者反馈学科排名<br> http://impactfactor.cn/2024/5yr/?ISSN=BK0588032<br><br> <br><br>
CANON
发表于 2025-3-21 23:40:47
http://reply.papertrans.cn/59/5881/588032/588032_2.png
Monocle
发表于 2025-3-22 02:34:48
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588032.jpg
Angiogenesis
发表于 2025-3-22 08:14:08
http://reply.papertrans.cn/59/5881/588032/588032_4.png
小样他闲聊
发表于 2025-3-22 09:53:11
Logic of Programs978-3-540-38631-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
Ganglion
发表于 2025-3-22 14:04:18
0302-9743 Overview: 978-3-540-11160-3978-3-540-38631-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
exclusice
发表于 2025-3-22 19:21:19
https://doi.org/10.1007/3-540-11160-3Programs; algebra; algorithms; duality; logic; proposition
Collected
发表于 2025-3-22 22:07:27
http://reply.papertrans.cn/59/5881/588032/588032_8.png
得体
发表于 2025-3-23 02:37:06
http://reply.papertrans.cn/59/5881/588032/588032_9.png
fixed-joint
发表于 2025-3-23 07:07:18
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.