標(biāo)題: Titlebook: Logics of Programs; Brooklyn, June 17-19 Rohit Parikh Conference proceedings 1985 Springer-Verlag Berlin Heidelberg 1985 Computer.Logic.Pro [打印本頁] 作者: 不能平庸 時(shí)間: 2025-3-21 18:44
書目名稱Logics of Programs影響因子(影響力)
書目名稱Logics of Programs影響因子(影響力)學(xué)科排名
書目名稱Logics of Programs網(wǎng)絡(luò)公開度
書目名稱Logics of Programs網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logics of Programs被引頻次
書目名稱Logics of Programs被引頻次學(xué)科排名
書目名稱Logics of Programs年度引用
書目名稱Logics of Programs年度引用學(xué)科排名
書目名稱Logics of Programs讀者反饋
書目名稱Logics of Programs讀者反饋學(xué)科排名
作者: Immobilize 時(shí)間: 2025-3-21 21:44
Sam Kaminiert, scheint aktuell erneut auf ein wachsendes Interesse zu sto?en, etwa unter dem Stichwort der ?Kollaboration?. Der vorliegende Band fragt nach der Schwellenfunktion der digitalen Wende, die sich in eine Folge von weiteren medialen, epistemischen, ?sthetischen und sozialen Schwellen und historisi作者: MEEK 時(shí)間: 2025-3-22 04:08 作者: 鋼盔 時(shí)間: 2025-3-22 07:07
R. Koymans,R. K. Shyamasundar,W. P. de Roever,R. Gerth,S. Arun-Kumariert, scheint aktuell erneut auf ein wachsendes Interesse zu sto?en, etwa unter dem Stichwort der ?Kollaboration?. Der vorliegende Band fragt nach der Schwellenfunktion der digitalen Wende, die sich in eine Folge von weiteren medialen, epistemischen, ?sthetischen und sozialen Schwellen und historisi作者: 過于平凡 時(shí)間: 2025-3-22 11:37
Daniel Leviant dass sich im Kontext einer zunehmenden Globalisierung und Europ?isierung auch die kollektiven Erinnerungen der Bürger transnationalisiert haben, fallen die Ergebnisse unserer Studie sehr ernüchternd aus. Abgesehen vom Zweiten Weltkrieg, der in allen vier L?ndern als bedeutsam erachtet wird, fehlt e作者: Gudgeon 時(shí)間: 2025-3-22 13:45
Orna Lichtenstein,Amir Pnueli,Lenore Zuck Europas angesichts der gegenw?rtigen Krisen in der Europ?ischen Union? Wir argumentieren in diesem Kapitel, dass Transnationalisierungs- und Europ?isierungsprozesse auf der systemischen Ebene in vielen gesellschaftlichen Bereichen sehr weit fortgeschritten sind, w?hrend die Sozialintegration in Bez作者: MENT 時(shí)間: 2025-3-22 20:34 作者: certitude 時(shí)間: 2025-3-22 23:30 作者: 淺灘 時(shí)間: 2025-3-23 01:31 作者: Project 時(shí)間: 2025-3-23 08:58
Nonclausal temporal deduction, extension to first-order temporal logic is considered..Two variants of the system are described. The first one is for a logic with □ (“always”), ? (“sometime”), and ○ (“next”). The second variant is an extension of the first one to a logic with the additional operators . (“until”) and . (“precedes”作者: Collision 時(shí)間: 2025-3-23 13:22 作者: 得罪人 時(shí)間: 2025-3-23 17:33
Lambda calculus with constrained types, typed case at one extreme and the type-free case at the other. The abstract model theory of the β η type-free case is generalized. We investigate the relation between lambda calculus with constrained types and cartesian closed categories (cccs) at proof-theoretic and model-theoretic levels. We find作者: 窗簾等 時(shí)間: 2025-3-23 21:27 作者: amenity 時(shí)間: 2025-3-24 00:10
Recursive definitions in type theory,type definitions involving the . function-space constructor (→) to those with only positive occurrences of the defined typed. But we show that arbitrary recursive definitions with respect to the . function-space constructor are sensible. The partial function-space constructor allows us to express re作者: monopoly 時(shí)間: 2025-3-24 05:37
Proving termination of Prolog programs, as displayed by Prolog. The first kind of rule takes into account the context of the whole program and is based on a tree oriented operational semantics. The second kind is more compositional, dealing with separate procedures in a context independent way. It is based on a stream oriented semantics.作者: 壓艙物 時(shí)間: 2025-3-24 09:39 作者: 先兆 時(shí)間: 2025-3-24 13:46 作者: 暫時(shí)休息 時(shí)間: 2025-3-24 16:56 作者: 漂亮才會(huì)豪華 時(shí)間: 2025-3-24 20:27
The glory of the past, and a complete axiomatic system are presented. A suggested normal form leads to a syntactic classification of safety and liveness formulae. The adequacy of temporal logic to modular verification is examined. Finally we present the notion of . which is proved to fully capture the behavior of probabi作者: 無目標(biāo) 時(shí)間: 2025-3-25 02:04
Continuation semantics in typed lambda-calculi,n untyped lambda-calculi and has used primarily the mechanism of inclusive predicates. Such predicates are easy to understand on atomic values, but they become obscure on functional values. In the case of the typed lambda-calculus, we show that such predicates can be replaced by retractions. The mai作者: EVICT 時(shí)間: 2025-3-25 05:44 作者: 笨重 時(shí)間: 2025-3-25 09:12 作者: intricacy 時(shí)間: 2025-3-25 12:13 作者: 嚴(yán)厲譴責(zé) 時(shí)間: 2025-3-25 17:58 作者: dagger 時(shí)間: 2025-3-25 21:42
Logics of Programs978-3-540-39527-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Dictation 時(shí)間: 2025-3-26 02:34
0302-9743 Overview: 978-3-540-15648-2978-3-540-39527-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: osteocytes 時(shí)間: 2025-3-26 07:17 作者: TSH582 時(shí)間: 2025-3-26 09:37
Nonclausal temporal deduction, extension to first-order temporal logic is considered..Two variants of the system are described. The first one is for a logic with □ (“always”), ? (“sometime”), and ○ (“next”). The second variant is an extension of the first one to a logic with the additional operators . (“until”) and . (“precedes”). Each of these variants is proved complete.作者: 罐里有戒指 時(shí)間: 2025-3-26 15:02 作者: 必死 時(shí)間: 2025-3-26 18:25
https://doi.org/10.1007/3-540-15648-8Computer; Logic; Programs; automata; distributed computing; lambda calculus; modeling; programming; programm作者: GUILT 時(shí)間: 2025-3-26 22:15 作者: HAUNT 時(shí)間: 2025-3-27 02:36 作者: 衰弱的心 時(shí)間: 2025-3-27 07:05
Phokion G. Kolaitisn und distribuierten Texten durch das vorausgesetzte Code-Wissen und den gezielten Gebrauch digitaler Technik unterscheiden lassen. Wurde die automatische Generierung von Text in der978-3-662-67703-2978-3-662-67704-9Series ISSN 2520-8799 Series E-ISSN 2520-8802 作者: Consensus 時(shí)間: 2025-3-27 10:48
Nissim Francez,Orna Grumberg,Shmuel Katz,Amir Pnueli作者: 或者發(fā)神韻 時(shí)間: 2025-3-27 13:43
S. Graf,J. Sifakis stehenden Projekte der generativen? Codeliteratur zu z?hlen, die sich von den auf und mittels Plattformen produzierten und distribuierten Texten durch das vorausgesetzte Code-Wissen und den gezielten Gebrauch digitaler Technik unterscheiden lassen. Wurde die automatische Generierung von Text in der作者: Counteract 時(shí)間: 2025-3-27 17:55
Sam Kamin stehenden Projekte der generativen? Codeliteratur zu z?hlen, die sich von den auf und mittels Plattformen produzierten und distribuierten Texten durch das vorausgesetzte Code-Wissen und den gezielten Gebrauch digitaler Technik unterscheiden lassen. Wurde die automatische Generierung von Text in der作者: 玉米 時(shí)間: 2025-3-27 23:06 作者: seroma 時(shí)間: 2025-3-28 04:08 作者: 噱頭 時(shí)間: 2025-3-28 09:27 作者: maroon 時(shí)間: 2025-3-28 10:49 作者: glucagon 時(shí)間: 2025-3-28 14:47 作者: 使更活躍 時(shí)間: 2025-3-28 22:19 作者: 現(xiàn)代 時(shí)間: 2025-3-29 02:57
From synchronization tree logic to acceptance model logic,作者: mydriatic 時(shí)間: 2025-3-29 06:16 作者: 說明 時(shí)間: 2025-3-29 10:02 作者: gerontocracy 時(shí)間: 2025-3-29 14:45 作者: Forage飼料 時(shí)間: 2025-3-29 16:53 作者: fringe 時(shí)間: 2025-3-29 23:41 作者: 粗糙濫制 時(shí)間: 2025-3-30 00:41
Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract, a procedure for deciding when a λ-Y-term is "unsolvable"; this implies decidability of equations between λ-Y-terms and λ-terms without Y‘s. We also give tight characterizations of unsolvable terms under certain syntactic constraints.作者: Dungeon 時(shí)間: 2025-3-30 07:41 作者: CUR 時(shí)間: 2025-3-30 09:09
Compositional semantics for real-time distributed computing,mission time for communications. The importance of constructing a semantics (and in general a proof theory) for real-time is stressed by such different sources as the problem of formalizing the real-time aspects of Ada and the elimination of errors in real-time flight control software ([Sunday Times 7-22-84]).作者: Juvenile 時(shí)間: 2025-3-30 15:27 作者: 說不出 時(shí)間: 2025-3-30 19:58 作者: cardiopulmonary 時(shí)間: 2025-3-30 21:51 作者: Minikin 時(shí)間: 2025-3-31 02:39
9樓作者: 欺騙手段 時(shí)間: 2025-3-31 05:46
10樓作者: 放牧 時(shí)間: 2025-3-31 12:24
10樓作者: Analogy 時(shí)間: 2025-3-31 14:10
10樓作者: indifferent 時(shí)間: 2025-3-31 20:54
10樓
