標(biāo)題: Titlebook: Logic, Language and Computation; Festschrift in Honor Neil D. Jones,Masami Hagiya,Masahiko Sato Book 1994 Springer-Verlag Berlin Heidelberg [打印本頁] 作者: JAR 時間: 2025-3-21 18:00
書目名稱Logic, Language and Computation影響因子(影響力)
書目名稱Logic, Language and Computation影響因子(影響力)學(xué)科排名
書目名稱Logic, Language and Computation網(wǎng)絡(luò)公開度
書目名稱Logic, Language and Computation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic, Language and Computation被引頻次
書目名稱Logic, Language and Computation被引頻次學(xué)科排名
書目名稱Logic, Language and Computation年度引用
書目名稱Logic, Language and Computation年度引用學(xué)科排名
書目名稱Logic, Language and Computation讀者反饋
書目名稱Logic, Language and Computation讀者反饋學(xué)科排名
作者: 牢騷 時間: 2025-3-21 21:41
Mariko Yasugi,Susumu Hayashi.- und Fols?uremangel erh?ht (übersicht in 3). Falsch-positive CDT-Werte sind ?u?erst selten und kommen fast ausschlie?lich bei schweren Lebererkrankungen wie bili?rer Zirrhose, chronisch aktiver Hepatitis und dekompensierter Leberzirrhose, bei genetischen Transferrin-D-Varianten und beim CDG-Syndro作者: SHRIK 時間: 2025-3-22 02:44 作者: surmount 時間: 2025-3-22 06:29
Masako Takahashi B. genannt) in die Aorta descendens. Dadurch wird der noch nicht lebensnotwendige Lungenkreislauf umgangen. Das Blut des Fetus kehrt nun über die Aorta descendens, die Aa. iliacae internae und deren m?chtige ?ste, die Aa. umbilicales, zur Plazenta zurück.作者: 臨時抱佛腳 時間: 2025-3-22 11:33 作者: 榨取 時間: 2025-3-22 16:53 作者: Ankylo- 時間: 2025-3-22 19:04 作者: Commentary 時間: 2025-3-23 00:47
Kohji Tomita,Takashi Tsuji,Shigeru Igarashihren eingear-beitet, die erst in sp?teren Kapiteln behandelt wer-den. Die Stufendiagnostik wird aus Sicht verschiedener Versorgungsstrukturen bzw. Leistungser-bringern (niedergelassene allgemeinmedizinisch bzw. internistische Praxis, niedergelassene angiolo-gische Praxis, angiologische klinische Abt作者: 喚起 時間: 2025-3-23 02:52 作者: intolerance 時間: 2025-3-23 07:29
Ian A. Mason,Carolyn Talcottander unterschieden, zus?tzlich aber auch zwischen Befall gro?er und kleiner bzw. kleinster Gef??e, um so eine praktische Gewichtung hinsichtlich der Bedeutung der Vaskulitiden gerade für die Angiologie zu erreichen. Die Angiologie befa?t sich n?mlich per definitionem mit den Erkrankungen v. a. gro?作者: onlooker 時間: 2025-3-23 13:20 作者: 狗窩 時間: 2025-3-23 15:26 作者: Inculcate 時間: 2025-3-23 18:15 作者: sclera 時間: 2025-3-24 00:54 作者: CLOT 時間: 2025-3-24 05:55
The non-deterministic catch and throw mechanism and its subject reduction property,A simple programming language and its typing system is introduced to capture the catch and throw mechanism with its non-deterministic feature. The subject reduction property of the system, which compensates for the unpleasant feature of the non-determinism, is shown.作者: 證實(shí) 時間: 2025-3-24 09:13
ML with first-class environments and its type inference algorithm,We present a typed λ-calculus which enables us to handle first-class environments. The syntax and the reduction are obtained by applying the idea of Curien‘s “explicit substitution”. The type system has ML-polymorphism and a type inference algorithm which is sound and terminates.作者: 生氣地 時間: 2025-3-24 11:13 作者: 牛的細(xì)微差別 時間: 2025-3-24 15:12
The logic of FOL systems: Formulated in set theory,In this paper we use set theory to describe FOL systems. This restatement of the notions implicit in First Order Logic facilitates their interpretation as finite data structures. This is a crucial step toward the goal of building an artificial reasoner.作者: CUMB 時間: 2025-3-24 22:33 作者: 政府 時間: 2025-3-24 23:21 作者: gustation 時間: 2025-3-25 07:24 作者: NATAL 時間: 2025-3-25 10:12
On implicit arguments,ents is always preserved during reduction. Consequently, when it compares two terms by reduction, it can reduce them without inferring implicit arguments. Before describing the typechecker, we analyze various situations where the uniqueness of implicit arguments is not preserved by na?vely defined reduction.作者: oxidize 時間: 2025-3-25 15:30
,Well-ordering of algebras and Kruskal’s theorem,ere is one and only one (up to isomorphism) algebra giving the ordinal as order type. As a corollary, we show Kruskal-type theorems for various structures are equivalent to well-orderedness of certain ordinals.作者: 新手 時間: 2025-3-25 17:44 作者: 諂媚于性 時間: 2025-3-25 20:46 作者: FEAT 時間: 2025-3-26 02:08 作者: 讓步 時間: 2025-3-26 08:08
The essence of program transformation by partial evaluation and driving,erful, since it includes program optimizations not achievable by simple partial evaluation. Moreover, for the first time it puts Turchin‘s driving methodology on a solid semantic foundation which is not tied to any particular programming language or data structure.作者: 責(zé)問 時間: 2025-3-26 12:09
Book 1994ealization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity and coding theory. Not coincidentally, all the authors are either former students or close colleagues of Satoru Takasu, professor and director at the 作者: Adrenal-Glands 時間: 2025-3-26 15:52
Conservativeness of , over ,-calculus, slightly modified version of .-calculus which adopts de Bruijn‘s index notation. We then define an injective map from .-calculus to ., and show that the . and the .-reductions in .-calculus correspond to the .-reduction and let-reductions in .-calculus, respectively. Finally, we prove that, as equality theories, . is . over the .-calculus.作者: Frenetic 時間: 2025-3-26 18:52
On locomorphism in analytical equivalence theory,alence, is introduced. A necessary and sufficient condition for whether or not there exists a morphism between two acts, one parallel and the other sequential, is presented, and some examples are studied.作者: 破譯密碼 時間: 2025-3-26 23:26
Analysis of a software/hardware system by tense arithmetic,a consumer with a bounded buffer, but the producer cannot examine status of the buffer. How to send data as fast as possible without overflowing the buffer is a problem. Properties of a program of the system are analyzed and safety conditions that the buffer does not overflow are obtained.作者: GLUT 時間: 2025-3-27 03:28 作者: SMART 時間: 2025-3-27 06:56 作者: 預(yù)知 時間: 2025-3-27 11:28
Book 1994oretical computer science in Japan and worldwide by his research, his philosophy, and his advising of students. The breadth, depth and quality of the papers are characteristic of his interests and activities.作者: 無情 時間: 2025-3-27 17:34 作者: Obsequious 時間: 2025-3-27 18:51 作者: indubitable 時間: 2025-3-28 01:36
On implicit arguments,ents is always preserved during reduction. Consequently, when it compares two terms by reduction, it can reduce them without inferring implicit arguments. Before describing the typechecker, we analyze various situations where the uniqueness of implicit arguments is not preserved by na?vely defined r作者: 不吉祥的女人 時間: 2025-3-28 04:49
Conservativeness of , over ,-calculus,ment, which has a close relationship to substitution in .-calculus. This paper discusses the relationship between these two calculi; we first define a slightly modified version of .-calculus which adopts de Bruijn‘s index notation. We then define an injective map from .-calculus to ., and show that 作者: insurgent 時間: 2025-3-28 10:01 作者: 總 時間: 2025-3-28 11:31 作者: Genetics 時間: 2025-3-28 18:06
Analysis of a software/hardware system by tense arithmetic, programs with rational time, and tense arithmetic. As a typical example we adopt a kind of bounded buffer problem, in which a producer sends data to a consumer with a bounded buffer, but the producer cannot examine status of the buffer. How to send data as fast as possible without overflowing the b作者: 流浪 時間: 2025-3-28 20:43 作者: Odyssey 時間: 2025-3-29 00:33
Program transformation via contextual assertions,al equivalence for functional languages with imperative features. Such notions of equivalence are fundamental for the process of program specification, derivation, transformation, refinement and other forms of code generation and optimization. This paper is dedicated to Professor Satoru Takasu.作者: AVID 時間: 2025-3-29 03:39
On coding theorems with modified length functions,he probability that . coin-flippings of biased coins generate the sequence ., where the probability that the .-th coinflipping generates 0 is ..)”. The usual length |.| is the value |.. for the special case .=(1/2, 1/2,...). Csiszar and K?rner proved that, if there are .>0, .>0 such that ..≤ 1-. for作者: ineptitude 時間: 2025-3-29 10:05 作者: 肥料 時間: 2025-3-29 13:09
Shin-ya Nishizakie Pfortader in die Lebersinusoide, die Hauptmasse umgeht jedoch den Leberkreislauf über den Ductus venosus (A.) und mündet sofort in die untere Hohlvene. Von hier gelangt das Blut in den rechten Vorhof. Die Valvula venae cavae inferioris lenkt den Hauptstrom des Blutes durch das offene Foramen ovale作者: Expertise 時間: 2025-3-29 16:01
Masako Takahashie Pfortader in die Lebersinusoide, die Hauptmasse umgeht jedoch den Leberkreislauf über den Ductus venosus (A.) und mündet sofort in die untere Hohlvene. Von hier gelangt das Blut in den rechten Vorhof. Die Valvula venae cavae inferioris lenkt den Hauptstrom des Blutes durch das offene Foramen ovale作者: Modicum 時間: 2025-3-29 22:45 作者: 遺留之物 時間: 2025-3-30 01:28 作者: 感激小女 時間: 2025-3-30 07:04 作者: 雄偉 時間: 2025-3-30 09:54
Kohji Tomita,Takashi Tsuji,Shigeru Igarashiearbeitung bestimmter Fragestellungen, die mit-tels des diagnostischen ?Routinerüstzeugs“ nicht angehbar sind, Spezialmethoden in Anspruch neh-men zu k?nnen. Der Nachteil ist der, da? die Viel-zahl der Methoden erfahrungsgem?? kostenstei-gernd parallel eingesetzt wird, ohne da? hinsicht-lich des mut作者: TOXIN 時間: 2025-3-30 16:18
Neil D. Jonesearbeitung bestimmter Fragestellungen, die mit-tels des diagnostischen ?Routinerüstzeugs“ nicht angehbar sind, Spezialmethoden in Anspruch neh-men zu k?nnen. Der Nachteil ist der, da? die Viel-zahl der Methoden erfahrungsgem?? kostenstei-gernd parallel eingesetzt wird, ohne da? hinsicht-lich des mut作者: 縮影 時間: 2025-3-30 20:18 作者: conjunctivitis 時間: 2025-3-30 21:50
Kojiro Kobayashiearbeitung bestimmter Fragestellungen, die mittels des diagnostischen ?Routinerüstzeugs“ nicht angehbar sind, Spezialmethoden in Anspruch nehmen zu k?nnen. Der Nachteil ist der, da? die Vielzahl der Methoden erfahrungsgem?? kostensteigernd parallel eingesetzt wird, ohne da? hinsichtlich des mutma?li作者: Expediency 時間: 2025-3-31 00:56
Takumi Kasai,Shusaku Sawato,Shigeki Iwatad eine gro?e Anzahl von Antibiotika mit einer ein breites Spektrum abdeckenden Aktivit?t entwickelt werden. Die Bedeutung der sofortigen empirischen oder kalkulierten Antibiotikatherapie bei Ausbruch fieberhafter Episoden granulozytopenischer Patienten ist seit den 70er Jahren allgemein anerkannt (E作者: Guileless 時間: 2025-3-31 06:04
kation bis zur postoperativen Schmerztherapie und Intensivbehandlung. .Das vorliegende Buch beschreibt in komprimierter Form die wichtigsten Grundlagen und die Praxis der einzelnen Behandlungsschritte. Für jede Phase der an?sthesiologischen Betreuung findet auch der Anf?nger Anleitungen und Richtlin作者: 來自于 時間: 2025-3-31 10:29
10樓作者: CARK 時間: 2025-3-31 14:43
10樓作者: 很是迷惑 時間: 2025-3-31 19:50
10樓作者: 跟隨 時間: 2025-3-31 21:51
10樓
