標題: Titlebook: Logics of Programs and Their Applications; Proceedings, Poznan, A. Salwicki Conference proceedings 1983 Springer-Verlag Berlin Heidelberg 1 [打印本頁] 作者: Enclosure 時間: 2025-3-21 16:23
書目名稱Logics of Programs and Their Applications影響因子(影響力)
書目名稱Logics of Programs and Their Applications影響因子(影響力)學(xué)科排名
書目名稱Logics of Programs and Their Applications網(wǎng)絡(luò)公開度
書目名稱Logics of Programs and Their Applications網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logics of Programs and Their Applications被引頻次
書目名稱Logics of Programs and Their Applications被引頻次學(xué)科排名
書目名稱Logics of Programs and Their Applications年度引用
書目名稱Logics of Programs and Their Applications年度引用學(xué)科排名
書目名稱Logics of Programs and Their Applications讀者反饋
書目名稱Logics of Programs and Their Applications讀者反饋學(xué)科排名
作者: 發(fā)芽 時間: 2025-3-21 23:27
On priorities of parallelism: Petri nets under the maximum firing strategy,ncurrent computations can not exactly be reflected by the sets of all sequentialized computations in related systems. Moreover, the reachability, boundedness and liveness problems are undecidable under the modified firing rule.作者: 向外才掩飾 時間: 2025-3-22 00:35 作者: 說不出 時間: 2025-3-22 06:02 作者: optic-nerve 時間: 2025-3-22 12:23
Algebraic semantics and program logics: Algorithmic logic for program trees,he meaning of a program is a tree resulting from an infinite formal unfolding. We present an algorithmic system in which programs are program-trees and also an example of how it can be applied in order to design systems for programs. Another feature is the use of techniques of L. (the notion of Cons作者: 鄙視讀作 時間: 2025-3-22 16:42
erfahren zur Kollisionsüberwachung an Fertigungseinrichtungen erfüllt nur die rechnerische Methode die Anforderungen an Geschwindigkeit (On-line-Kollisionsüberwachung), Kostenaufwand und Funktionalit?t. Die Gesamtfunktion einer mathematischen Kollisionsüberwachung wird im wesentlichen durch die Fest作者: 共和國 時間: 2025-3-22 19:53 作者: saturated-fat 時間: 2025-3-22 22:26
Wiktor Dańkomlich die Zerteilung organischer Makromoleküle in organischen Dispersionsmitteln niedriger Dielektrizit?tskonstante. In nahezu allen anderen Systemen ist die dispergierte Substanz gegenüber dem Dispersionsmittel elektrisch aufgeladen. Bei vielen ist die Ladung überhaupt Voraussetzung für ihre Existe作者: 摻假 時間: 2025-3-23 04:29 作者: 議程 時間: 2025-3-23 08:38
Extended Abstractmlich die Zerteilung organischer Makromoleküle in organischen Dispersionsmitteln niedriger Dielektrizit?tskonstante. In nahezu allen anderen Systemen ist die dispergierte Substanz gegenüber dem Dispersionsmittel elektrisch aufgeladen. Bei vielen ist die Ladung überhaupt Voraussetzung für ihre Existe作者: Bph773 時間: 2025-3-23 13:16 作者: LAPSE 時間: 2025-3-23 16:56 作者: 收集 時間: 2025-3-23 20:12 作者: Frenetic 時間: 2025-3-23 22:45
https://doi.org/10.1007/3-540-11981-7Erfüllbarkeitsproblem der Aussagenlogik; Parallelverarbeitung (EDV); Programmierlogik; Programs; algorit作者: Munificent 時間: 2025-3-24 03:38
On priorities of parallelism: Petri nets under the maximum firing strategy,ncurrent computations can not exactly be reflected by the sets of all sequentialized computations in related systems. Moreover, the reachability, boundedness and liveness problems are undecidable under the modified firing rule.作者: nonchalance 時間: 2025-3-24 10:05 作者: JOT 時間: 2025-3-24 12:33
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588199.jpg作者: 直言不諱 時間: 2025-3-24 14:56
rstellbar und damit für eine Realisierung auf Mikrorechnersystemen besonders geeignet. Ein weiterer Vorteil der Distanzfeldmethode besteht in der M?glichkeit, Ausweichrichtungen einfach zu ermitteln und Ma?e für die minimale Distanz zwischen zwei beliebigen K?rperoberfl?chen zu berechnen.作者: HAUNT 時間: 2025-3-24 21:35 作者: Prologue 時間: 2025-3-25 02:58 作者: 仔細檢查 時間: 2025-3-25 04:21 作者: 擺動 時間: 2025-3-25 07:32 作者: Externalize 時間: 2025-3-25 14:19 作者: rheumatology 時間: 2025-3-25 16:08 作者: Allege 時間: 2025-3-25 20:38
On proving program correctness by means of stepwise refinement method,作者: paragon 時間: 2025-3-26 03:45 作者: 桶去微染 時間: 2025-3-26 06:50
On four logics of programs and complexity of their satisfiability problems : Extended abstract,作者: 滴注 時間: 2025-3-26 08:54
Some model-theoretical properties of logic for programs with random control,作者: 縮影 時間: 2025-3-26 15:25 作者: Radiation 時間: 2025-3-26 20:31 作者: 值得 時間: 2025-3-26 21:52
Are infinite behaviours of parallel system schemata necessary?,xpressible by formulas with operands assuming merely . behaviours as their values. It turns out, however, the later formulas have their equivalent counterparts with finite behaviours as operand values. The paper discusses the issues in detail.作者: Projection 時間: 2025-3-27 02:15 作者: Limpid 時間: 2025-3-27 08:25
Algebraic semantics and program logics: Algorithmic logic for program trees,d also an example of how it can be applied in order to design systems for programs. Another feature is the use of techniques of L. (the notion of Consistency Property) for proving completeness and Model Existence theorems.作者: 處理 時間: 2025-3-27 12:48
6樓作者: 慷慨援助 時間: 2025-3-27 17:30
6樓作者: 者變 時間: 2025-3-27 19:01
7樓作者: engrossed 時間: 2025-3-28 00:45
7樓作者: VOK 時間: 2025-3-28 02:49
7樓作者: 蹣跚 時間: 2025-3-28 10:00
7樓作者: 節(jié)約 時間: 2025-3-28 13:53
8樓作者: Juvenile 時間: 2025-3-28 14:55
8樓作者: organism 時間: 2025-3-28 22:22
8樓作者: EVEN 時間: 2025-3-29 00:30
8樓作者: 殺蟲劑 時間: 2025-3-29 06:41
9樓作者: 尖 時間: 2025-3-29 11:16
9樓作者: 儲備 時間: 2025-3-29 13:35
9樓作者: 設(shè)想 時間: 2025-3-29 19:35
9樓作者: Crohns-disease 時間: 2025-3-29 19:59
10樓作者: collateral 時間: 2025-3-30 02:41
10樓作者: Obliterate 時間: 2025-3-30 05:52
10樓作者: Emg827 時間: 2025-3-30 12:00
10樓
