標(biāo)題: Titlebook: Logic Program Synthesis and Transformation; 7th International Wo Norbert E. Fuchs Conference proceedings 1998 Springer-Verlag Berlin Heidel [打印本頁(yè)] 作者: 凝固 時(shí)間: 2025-3-21 18:56
書(shū)目名稱Logic Program Synthesis and Transformation影響因子(影響力)
書(shū)目名稱Logic Program Synthesis and Transformation影響因子(影響力)學(xué)科排名
書(shū)目名稱Logic Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Logic Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Logic Program Synthesis and Transformation被引頻次
書(shū)目名稱Logic Program Synthesis and Transformation被引頻次學(xué)科排名
書(shū)目名稱Logic Program Synthesis and Transformation年度引用
書(shū)目名稱Logic Program Synthesis and Transformation年度引用學(xué)科排名
書(shū)目名稱Logic Program Synthesis and Transformation讀者反饋
書(shū)目名稱Logic Program Synthesis and Transformation讀者反饋學(xué)科排名
作者: 織物 時(shí)間: 2025-3-21 22:18
Annalisa Bossi,Nicoletta Coccoor er sie zusammenh?ngend studieren kann. Hinzu kamen von Anfang an ?sthetische und vor allem inhaltliche Vorbehalte, denen gerade dieser Teil von Brechts Schaffen ausgesetzt war. Galten Gedichte für Kinder aufgrund ihrer (vermeintlichen) Einfachheit und Kunstlosigkeit nicht grunds?tzlich als Produk作者: 單純 時(shí)間: 2025-3-22 02:25 作者: 不愛(ài)防注射 時(shí)間: 2025-3-22 07:28
Eric Chasseur,Yves Deville Seite kann eher als symbolischer Streit zwischen zwei Forschungslinien verstanden werden, denn als wirkliche Alternative.2 Bei n?herer Betrachtung erweist sich das Selbstverst?ndnis der “Radikalphilologen” ebensowenig als “Rückzugsbewegung” wie das der Empirischen Literaturwissenschaftler, Systemth作者: LURE 時(shí)間: 2025-3-22 11:06
Henning Christiansen Seite kann eher als symbolischer Streit zwischen zwei Forschungslinien verstanden werden, denn als wirkliche Alternative.2 Bei n?herer Betrachtung erweist sich das Selbstverst?ndnis der “Radikalphilologen” ebensowenig als “Rückzugsbewegung” wie das der Empirischen Literaturwissenschaftler, Systemth作者: 秘傳 時(shí)間: 2025-3-22 13:09 作者: COUCH 時(shí)間: 2025-3-22 19:41 作者: ALTER 時(shí)間: 2025-3-23 01:09 作者: incite 時(shí)間: 2025-3-23 03:00
L. Lafave,J. P. Gallagher00–1850) an einer . (Eisenberg o.J.). Im übrigen wird aber auch heute noch selbst in der Fachdiskussion die Meinung vertreten, da? die erste intensive Auseinandersetzung mit der Jugendlektüre in Wolgasts berühmter Kampfschrift . (1896b) geführt worden ist. Dabei geht bereits Wolgast in seinem Buch n作者: acetylcholine 時(shí)間: 2025-3-23 06:36 作者: Anhydrous 時(shí)間: 2025-3-23 11:01
N. Lindenstrauss,Y. Sagiv,A. Serebrenik00–1850) an einer . (Eisenberg o.J.). Im übrigen wird aber auch heute noch selbst in der Fachdiskussion die Meinung vertreten, da? die erste intensive Auseinandersetzung mit der Jugendlektüre in Wolgasts berühmter Kampfschrift . (1896b) geführt worden ist. Dabei geht bereits Wolgast in seinem Buch n作者: 夾死提手勢(shì) 時(shí)間: 2025-3-23 16:09 作者: Focus-Words 時(shí)間: 2025-3-23 19:54
Lee Naish,Leon Sterling Bericht mit ein. Eine Auseinandersetzung mit Studien zu einzelnen Gattungen (Lyrik, Phantastik, Kindertheater etc.) oder zum Werk einzelner Autoren, auch wenn sie unmittelbar den Nachkriegszeitraum betreffen, soll ausgespart bleiben. Beitr?ge, die sich speziell mit der Kinderliteraturtheorie der Na作者: 聯(lián)想記憶 時(shí)間: 2025-3-24 01:47
Julian Richardson,Norbert Fuchsder Anspielung auf komplexe Strukturen dar.“ (Lypp 1995, 43) In Erg?nzung dieses Standpunktes überlegt Lypp die Mehrdeutigkeit in Texten für Kinder und gelangt dabei zur Feststellung: ?Moderne Kinderliteratur kennt in der Tat Formen der Verunsicherung des Lesers, die denen des modernen Romans naheko作者: cornucopia 時(shí)間: 2025-3-24 05:30
Hüseyin Sa?lam,John P. Gallagherder Anspielung auf komplexe Strukturen dar.“ (Lypp 1995, 43) In Erg?nzung dieses Standpunktes überlegt Lypp die Mehrdeutigkeit in Texten für Kinder und gelangt dabei zur Feststellung: ?Moderne Kinderliteratur kennt in der Tat Formen der Verunsicherung des Lesers, die denen des modernen Romans naheko作者: 重畫(huà)只能放棄 時(shí)間: 2025-3-24 08:37 作者: HAWK 時(shí)間: 2025-3-24 12:54 作者: 老人病學(xué) 時(shí)間: 2025-3-24 17:26 作者: rectum 時(shí)間: 2025-3-24 20:24 作者: 漂浮 時(shí)間: 2025-3-25 01:32
0302-9743 ubmissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.978-3-540-65074-4978-3-540-49674-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: ABHOR 時(shí)間: 2025-3-25 05:39 作者: ANNUL 時(shí)間: 2025-3-25 10:47 作者: 果仁 時(shí)間: 2025-3-25 15:05
Logic Program Schemas, Constraints, and Semi-unification,aper tackles two complementary aspects of program schemas. We first propose a language for the description of program schemas. It is based on a subset of second-order logic, enhanced with constraints and specific features of program schemas. One of the basic operations on schemas is the semi-unifica作者: Lacunar-Stroke 時(shí)間: 2025-3-25 18:28 作者: Motilin 時(shí)間: 2025-3-26 00:04 作者: CYT 時(shí)間: 2025-3-26 03:14
On Correct Program Schemas,esent schemas purely syntactically as higher-order expressions, we shall express a schema as an open first-order theory that axiomatises a problem domain, called a ., containing an open program that represents the template of the schema. We will show that using our approach we can define a meaningfu作者: 提煉 時(shí)間: 2025-3-26 06:20
Analysis of Logic Programs with Delay,ar, groundness. A program transformation is defined which eliminates the delay statements but still enables an accurate approximation of the behaviour of delayed goals to be traced by the analyser. An implementation has been built which shows that the analysis can be both accurate and efficient.作者: 有機(jī)體 時(shí)間: 2025-3-26 10:36
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs,based information propagation. The constraint-based partial evaluation algorithm incorporated with local and global control describes a KMP partial evaluator. Results from the implementation of the partial evaluator in the functional logic language Escher show that the algorithm is also able to perf作者: calamity 時(shí)間: 2025-3-26 15:19 作者: 四目在模仿 時(shí)間: 2025-3-26 19:53
Unfolding the Mystery of , ,t work directly. The transformation consists of creating adorned clauses and unfolding. In general, the transformation may improve termination behavior by pruning infinite branches from the LD-tree. Conditions are given under which the transformation preserves termination behavior. The work presente作者: BRIDE 時(shí)間: 2025-3-27 01:02 作者: 臭了生氣 時(shí)間: 2025-3-27 01:38 作者: 男生如果明白 時(shí)間: 2025-3-27 07:42 作者: 神圣將軍 時(shí)間: 2025-3-27 13:16 作者: 收到 時(shí)間: 2025-3-27 17:34
To Parse or Not To Parse, techniques. In particular, we study how the homeomorphic embedding relation guides specialisation of the interpreter. We focus on the so-called . problem, i.e. removing all parsing overhead from the program, and demonstrate that further refinements in the control of general partial deduction are ne作者: 最低點(diǎn) 時(shí)間: 2025-3-27 20:53 作者: FEIGN 時(shí)間: 2025-3-27 23:20
Annalisa Bossi,Nicoletta Coccoung bislang nur am Rande Beachtung gefunden. Dies gilt auch für die “Kinderlieder” von 1950, die — sieht man von dem dokumentarischen Chorwerk “Herrnburger Bericht” aus dem Folgejahr ab — den letzten Versuch des Autors auf diesem Gebiet der Literatur darstellen. Schon die Publikationsbedingungen war作者: 機(jī)警 時(shí)間: 2025-3-28 04:00 作者: 外科醫(yī)生 時(shí)間: 2025-3-28 07:48
Eric Chasseur,Yves Devilleverunsichert’, als gekennzeichnet von Krisen und Legitimationsnot, als Disziplin im Umbruch gilt” (Sch?nert 1993, 15). Für Sch?nert ist diese Reflexion von Krisensymptomen nicht neu und geh?rt zur Geschichte des Faches, 1 Es handelte sich also um keinen modischen Klagegestus, sondern um eine notwend作者: 生銹 時(shí)間: 2025-3-28 11:11 作者: 潰爛 時(shí)間: 2025-3-28 17:29
Stefaan Decorte,Danny De Schreye,Michael Leuschel,Bern Martens,Konstantinos Sagonas1980, begann sich die Kinderliteraturkritik dieser L?nder zu ?ndern: der Blick auf die guten Absichten der KJL wich Arbeiten, die versuchten, “die instrumentale Motivierung der Kinderliteratur und deren gesellschaftlich-politische als auch deren psychologische Wirkungen zu untersuchen” (Zipes 1994,2作者: 欺騙世家 時(shí)間: 2025-3-28 22:25
Pierre Flener,Kung-Kiu Lau,Mario Ornaghiolle-Weinkauff und Hans-Heino Ewers im Vorwort zu dem von ihnen herausgegebenen Band . (1996, 5) mit Blick auf eine literaturgeschichtliche und literaturkritische Studie des Direktors der Frankfurter Musterschule Carl Kühner (1862/1980), die Alfred Clemens Baumg?rtner bereits 1980 neu zug?nglich gem作者: 鑒賞家 時(shí)間: 2025-3-29 00:15
Andrew Heaton,Pat Hill,Andy Kingolle-Weinkauff und Hans-Heino Ewers im Vorwort zu dem von ihnen herausgegebenen Band . (1996, 5) mit Blick auf eine literaturgeschichtliche und literaturkritische Studie des Direktors der Frankfurter Musterschule Carl Kühner (1862/1980), die Alfred Clemens Baumg?rtner bereits 1980 neu zug?nglich gem作者: 生命 時(shí)間: 2025-3-29 06:06 作者: 反話 時(shí)間: 2025-3-29 09:12
Michael Leuschel,Bern Martens,Konstantinos Sagonasolle-Weinkauff und Hans-Heino Ewers im Vorwort zu dem von ihnen herausgegebenen Band . (1996, 5) mit Blick auf eine literaturgeschichtliche und literaturkritische Studie des Direktors der Frankfurter Musterschule Carl Kühner (1862/1980), die Alfred Clemens Baumg?rtner bereits 1980 neu zug?nglich gem作者: febrile 時(shí)間: 2025-3-29 14:16 作者: 禁止,切斷 時(shí)間: 2025-3-29 18:26 作者: 清澈 時(shí)間: 2025-3-29 20:50 作者: Asperity 時(shí)間: 2025-3-30 03:21
Julian Richardson,Norbert Fuchs selbst so verstandenes Korrektiv des heute vielfach vertretenen Modernisierungsansatzes zu verstehen. In ihrer Argumentation gelangt Lypp zu einer Umschreibung der Kategorie des Einfachen, die, wie sich zeigen wird, insbesondere dann von Bedeutung ist, wenn es darum geht, sich mit kinderliterarisch作者: 昏暗 時(shí)間: 2025-3-30 07:10
Hüseyin Sa?lam,John P. Gallagher selbst so verstandenes Korrektiv des heute vielfach vertretenen Modernisierungsansatzes zu verstehen. In ihrer Argumentation gelangt Lypp zu einer Umschreibung der Kategorie des Einfachen, die, wie sich zeigen wird, insbesondere dann von Bedeutung ist, wenn es darum geht, sich mit kinderliterarisch作者: 忘川河 時(shí)間: 2025-3-30 09:13 作者: miniature 時(shí)間: 2025-3-30 13:54 作者: Limerick 時(shí)間: 2025-3-30 16:36
Figuren, Handlungselemente und der spezifisch K?stnersche Erz?hlton als Bausteine der Erinnerung an die eigene Kindheit oder als aktuelle Lektüreerfahrung pr?sent und bilden so im unüberschaubaren kulturellen Code zitier- und gemeinschaftsf?hige Fixpunkte. Mit seinem kinderliterarischen Werk hat Er作者: monologue 時(shí)間: 2025-3-30 22:45 作者: DIS 時(shí)間: 2025-3-31 03:22 作者: 調(diào)色板 時(shí)間: 2025-3-31 09:06 作者: 煉油廠 時(shí)間: 2025-3-31 12:08
Termination Analysis for Tabled Logic Programming, for them, respectively. We then relate these two classes through a program transformation, and present a characterisation of quasi-termination by means of the notion of . of tabled programs. The latter provides us with a practical method of proving termination and the method is illustrated on non-trivial examples of tabled logic programs.
