標題: Titlebook: Logic of Programs; Workshop, ETH Zürich Erwin Engeler Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Programs.algebra.a [打印本頁] 作者: Madison 時間: 2025-3-21 17:26
書目名稱Logic of Programs影響因子(影響力)
書目名稱Logic of Programs影響因子(影響力)學(xué)科排名
書目名稱Logic of Programs網(wǎng)絡(luò)公開度
書目名稱Logic of Programs網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic of Programs被引頻次
書目名稱Logic of Programs被引頻次學(xué)科排名
書目名稱Logic of Programs年度引用
書目名稱Logic of Programs年度引用學(xué)科排名
書目名稱Logic of Programs讀者反饋
書目名稱Logic of Programs讀者反饋學(xué)科排名
作者: CANON 時間: 2025-3-21 23:40 作者: Monocle 時間: 2025-3-22 02:34
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588032.jpg作者: Angiogenesis 時間: 2025-3-22 08:14 作者: 小樣他閑聊 時間: 2025-3-22 09:53
Logic of Programs978-3-540-38631-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Ganglion 時間: 2025-3-22 14:04
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
https://doi.org/10.1007/3-540-11160-3Programs; algebra; algorithms; duality; logic; proposition作者: Collected 時間: 2025-3-22 22:07 作者: 得體 時間: 2025-3-23 02:37 作者: fixed-joint 時間: 2025-3-23 07:07
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.作者: 天真 時間: 2025-3-23 12:33
On the duality of dynamic algebras and kripke models,models and separable dynamic algebras analogous to the duality between Boolean algebras and their Stone spaces. We prove several results which clarify the role of the * operator of PDL and characterize the discrepancy between the standard and nonstandard models in terms of well-understood topologica作者: 洞察力 時間: 2025-3-23 16:01 作者: 止痛藥 時間: 2025-3-23 18:27 作者: Blood-Clot 時間: 2025-3-24 02:00
On the algorithmic properties of concurrent programs,in a sufficiently large number/ under a shared memory environment. The semantics of such a program specifies the tree of configuration sequences which are acceptable as possible computations of the program..We do not agree with the existing literature /e.g. [2]/ that every sharing one processor amon作者: Paleontology 時間: 2025-3-24 03:07 作者: 五行打油詩 時間: 2025-3-24 09:43 作者: 極微小 時間: 2025-3-24 12:08
Andrezej Salwicki,Tomasz Müldnerhen, bedürfte einer eigenen, schwerlich einheitlich zu f?rbenden Monographie. Zudem erfordert es schon gerade bei der Vielseitigkeit der gest?rten vegetativen Einflüsse und der Schwierigkeit der jeweiligen Erfassung des gest?rten Anteils im Vegetativum, der eine würde sagen ?besonderes Glück“, der a作者: 慷慨不好 時間: 2025-3-24 17:55 作者: Cocker 時間: 2025-3-24 19:53 作者: Aids209 時間: 2025-3-25 02:12 作者: 不適當(dāng) 時間: 2025-3-25 05:55 作者: 異端邪說2 時間: 2025-3-25 09:33
Amdrzej Salwickichtete F. . über funktionell nerv?se St?rungen innerer Organe bei der von ihm beschriebenen gel?sen Erkrankung der Decke. Er nahm an, da? in entgegengesetzter Richtung zu den seit . bekannten nerv?s funktionellen Beziehungen erkrankter innerer Organe zu dem zugeh?rigen Dermatom auch die gel?se Erkra作者: LATER 時間: 2025-3-25 15:31 作者: agitate 時間: 2025-3-25 15:57
J. Tiuryne Krankheiten aus dem ?rztlichen Beobachtungsgut so gut wie verschwunden. Ihr neuerliches Auftreten in der allerletzten Zeit l??t mit einiger Wahrscheinlichkeit den übergang in eine ruhige assimilatorische, trophotrope Phase vermuten. Wie wir schon im vorigen Kapitel erw?hnt haben, ist ein Nachlasse作者: Minutes 時間: 2025-3-25 23:23
On the algorithmic properties of concurrent programs, The length of a step is indefinite, it must be finite only. This reflects various speeds of processors. Hence, for the configuration in which several processors are able to start the execution of their subsequent steps, a maximal number of atomic steps will be started, the choice being nondetermini作者: Affectation 時間: 2025-3-26 01:16
Efficient Anomaly Detection in?Property Graphsrs are seldom to build complex user-defined integrity constraints; worse, the systems often do not have the capabilities of defining complex integrity constraints. For these reasons, violation of the implicit integrity constraints widely exists and leads to various data quality issues in property gr作者: Pde5-Inhibitors 時間: 2025-3-26 04:19
Sustainable Autarky of Food-Energy-Water (Safe-Water)sposed of at the input of considerable energy and associated environmental emissions. This paper presents an algal-based approach for treating UWWs to the mandated discharge levels in a single step and at the same time, recover net energy, nutrients, and water from UWWs for use in the food-energy-wa作者: Allergic 時間: 2025-3-26 11:40 作者: transient-pain 時間: 2025-3-26 12:41 作者: 冰河期 時間: 2025-3-26 16:52 作者: musicologist 時間: 2025-3-27 00:14 作者: 吞下 時間: 2025-3-27 02:46
Approximate Packing: Integer Programming Models, Valid Inequalities and Nesting,oint. Different shapes, such as ellipses, rhombuses, rectangles, octagons, etc., are treated similarly by simply changing the definition of the norm used to define the distance. Nesting objects inside one another is also considered. Numerical results are presented to demonstrate the efficiency of the proposed approach.作者: Accord 時間: 2025-3-27 07:58 作者: 運動性 時間: 2025-3-27 11:03 作者: neutralize 時間: 2025-3-27 16:54 作者: 衍生 時間: 2025-3-27 20:46
Burkhardt Rockel,Ehrhard Raschke common aspects of two major areas of knowledge: plasma and quantum theory..In these chapters, the quantum hydrodynamic model for plasmas, which has continuously evolved over the past decade, will be summarized978-1-4614-2951-7978-1-4419-8201-8Series ISSN 1615-5653 Series E-ISSN 2197-6791 作者: 訓(xùn)誡 時間: 2025-3-27 23:38 作者: 運動性 時間: 2025-3-28 03:48 作者: IOTA 時間: 2025-3-28 10:13
