標(biāo)題: Titlebook: Logic of Programming and Calculi of Discrete Design; International Summer Manfred Broy Conference proceedings 1987 Springer-Verlag Berlin H [打印本頁(yè)] 作者: 無感覺 時(shí)間: 2025-3-21 18:00
書目名稱Logic of Programming and Calculi of Discrete Design影響因子(影響力)
書目名稱Logic of Programming and Calculi of Discrete Design影響因子(影響力)學(xué)科排名
書目名稱Logic of Programming and Calculi of Discrete Design網(wǎng)絡(luò)公開度
書目名稱Logic of Programming and Calculi of Discrete Design網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic of Programming and Calculi of Discrete Design被引頻次
書目名稱Logic of Programming and Calculi of Discrete Design被引頻次學(xué)科排名
書目名稱Logic of Programming and Calculi of Discrete Design年度引用
書目名稱Logic of Programming and Calculi of Discrete Design年度引用學(xué)科排名
書目名稱Logic of Programming and Calculi of Discrete Design讀者反饋
書目名稱Logic of Programming and Calculi of Discrete Design讀者反饋學(xué)科排名
作者: gusher 時(shí)間: 2025-3-21 21:20 作者: Airtight 時(shí)間: 2025-3-22 02:03
A heuristic explanation of Batcher’s Bafflerrently. It is also of interest because it used to be hard to explain..This note explains Batcher’s Baffler by designing it. Besides including all heuristics, it has two distinguishing features, both contributing to its clarity and brevity:作者: biosphere 時(shí)間: 2025-3-22 06:02
Predicative Methodologye, just like syntax errors. Programming paradigms are stated precisely as theorems. The use of paradigms in larger programs is shown to be the same as the mathematician’s use of theorems in the proof of larger theorems.作者: Sad570 時(shí)間: 2025-3-22 10:23
Predicative Communicationsethodology” we studied a traditional way: in terms of the initial and final state of memory. We now turn our attention to the specification of communicating processes. The quantities of interest here are communication sequences.作者: 敲竹杠 時(shí)間: 2025-3-22 15:19
Notes on Logic Programmingal principles and on the main ideas of the most useful algorithms. These are concretely realized, although not always in the purest form, in various versions of PROLOG. We shall not be much concerned with how PROLOG is actually implemented, however, since the details vary considerably from system to作者: hemorrhage 時(shí)間: 2025-3-22 20:50 作者: anchor 時(shí)間: 2025-3-23 01:12 作者: 易受騙 時(shí)間: 2025-3-23 04:14
Extreme solutions of equationsorm. In the next chapter we shall encounter a statement for which the predicates wlp(S,X) and wp(S,X) are given as solutions of equations of the form .Here, b is a function from predicate pairs to predicates, i.e. b.(X,Y) is a boolean structure, [b.(X,Y)] is a boolean expression in X and Y , which f作者: maroon 時(shí)間: 2025-3-23 07:58 作者: 悅耳 時(shí)間: 2025-3-23 12:16 作者: affect 時(shí)間: 2025-3-23 16:04
Deduction and Computationat the Advanced Course in Artificial Intelligence held in Vignieu (France) in July 1985, and appeared in “Fundamentals in Artificial Intelligence”, Eds. W. Bibel and Ph. Jorrand, Springer-Verlag Lecture Notes in Computer Science vol. 232.作者: inventory 時(shí)間: 2025-3-23 19:56
Models and logic of MOS circuitsis for many of the informal arguments used by designers of MOS circuits. Such arguments use rather crude discrete notions of strength—designers cannot be too finicky about precise resistances and capacitances when building a chip—as well as subtle derived notions of information flow between points i作者: hemorrhage 時(shí)間: 2025-3-24 01:42 作者: 惡心 時(shí)間: 2025-3-24 05:28
An Introduction to the Theory of Listsve efficient solutions for a number of problems, including problems in text processing. Although programming . is not the main topic, we indicate briefly how these solutions can be implemented in a purely functional programming language.作者: 好色 時(shí)間: 2025-3-24 09:12 作者: 預(yù)感 時(shí)間: 2025-3-24 11:50
Predicative Methodologye, just like syntax errors. Programming paradigms are stated precisely as theorems. The use of paradigms in larger programs is shown to be the same as the mathematician’s use of theorems in the proof of larger theorems.作者: 網(wǎng)絡(luò)添麻煩 時(shí)間: 2025-3-24 18:48 作者: Conflagration 時(shí)間: 2025-3-24 22:35 作者: Hypopnea 時(shí)間: 2025-3-24 23:36 作者: 陰謀 時(shí)間: 2025-3-25 05:44
978-3-642-87376-8Springer-Verlag Berlin Heidelberg 1987作者: Organization 時(shí)間: 2025-3-25 09:29
Logic of Programming and Calculi of Discrete Design978-3-642-87374-4Series ISSN 0258-1248 作者: coalition 時(shí)間: 2025-3-25 14:38
Termination Conventions and Comparative SemanticsThe notion of termination is examined, first for its physical observability, then for its part in six semantic formalisms, with emphasis on predicative semantics.作者: WAG 時(shí)間: 2025-3-25 19:19
Expressing program developments in a design calculusThe present paper describes a step in the study of means to express software developments. This study is also related to approaches where programs are extracted from proofs, and it is influenced by the spirit and the techniques of constructive logic.作者: 使混合 時(shí)間: 2025-3-25 23:40 作者: humectant 時(shí)間: 2025-3-26 03:43
Eric C. R. Hehnereis eigentlich überflüssig geworden ist. Aus der Tatsache, da? auch die übrigen klinisch signifikanten Sedimentbestandteile direkt oder indirekt chemisch nachweisbar sind, entwickelt sich zur Zeit die Tendenz zum Teststreifensieb : Die Mikroskopie wird auf die Harnproben beschr?nkt, bei denen die ch作者: 殺蟲劑 時(shí)間: 2025-3-26 06:58 作者: 該得 時(shí)間: 2025-3-26 11:33 作者: 雄偉 時(shí)間: 2025-3-26 15:19
Logic of Programming and Calculi of Discrete DesignInternational Summer作者: Foolproof 時(shí)間: 2025-3-26 19:35
0258-1248 s of thought there are quite different tastes with respect to notation. The papers in these proceedings show very clearly how different those notations can be e978-3-642-87376-8978-3-642-87374-4Series ISSN 0258-1248 作者: 廣大 時(shí)間: 2025-3-26 23:43 作者: GRAVE 時(shí)間: 2025-3-27 01:40
Notes on Logic Programmingersions of PROLOG. We shall not be much concerned with how PROLOG is actually implemented, however, since the details vary considerably from system to system and tend to obscure the relatively simple conceptual framework which lies beneath the surface.作者: 阻擋 時(shí)間: 2025-3-27 07:41
Logic Based on Programmingense), and that mathematical truths about them are discovered. This opinion is called “platonlsm”. According to a platonist, the order of discovery may be partly a historical accident, and our way of expressing truths may be a product of human design, but the truths themselves are independent of us, timeless and universal.作者: Instantaneous 時(shí)間: 2025-3-27 12:54
Algebraic Specifications and Proofs for Communicating Sequential Processesular processes, and to prove that they meet their specifications..The examples cover a range of simple one-way communications devices between a single sender and a single receiver. A simple theory is used at first; this is extended when its inadequacies become too obvious.作者: 發(fā)酵劑 時(shí)間: 2025-3-27 14:40
Equational Specification of Partial Higher Order Algebras, i.e. types comprising higher order functions are treated, leads to an algebraic (“equational”) specification of algebras including sorts with “infinite” objects and higher order functions (“functionals”). Finally concepts of implementations of algebraic types are studied.作者: 放縱 時(shí)間: 2025-3-27 20:35 作者: Choreography 時(shí)間: 2025-3-28 00:36 作者: Gentry 時(shí)間: 2025-3-28 02:05
0258-1248 a formal calculus is one of the most interesting and most difficult parts of computing science. Many demanding problems have to be envisaged here such as notations, rules and calculi, and the study of semantic models. We are ‘far away from comprehensive and widely accepted solutions in these areas. 作者: 極小 時(shí)間: 2025-3-28 07:14
7樓作者: Morsel 時(shí)間: 2025-3-28 13:03
7樓作者: Choreography 時(shí)間: 2025-3-28 14:57
7樓作者: 過份 時(shí)間: 2025-3-28 21:41
8樓作者: 背信 時(shí)間: 2025-3-29 02:42
8樓作者: antidepressant 時(shí)間: 2025-3-29 05:14
8樓作者: 無表情 時(shí)間: 2025-3-29 11:15
8樓作者: 規(guī)章 時(shí)間: 2025-3-29 12:23
9樓作者: 他一致 時(shí)間: 2025-3-29 18:22
9樓作者: Genetics 時(shí)間: 2025-3-29 21:43
9樓作者: 制定法律 時(shí)間: 2025-3-30 03:42
9樓作者: craven 時(shí)間: 2025-3-30 04:06
10樓作者: 文件夾 時(shí)間: 2025-3-30 10:20
10樓作者: terazosin 時(shí)間: 2025-3-30 12:24
10樓作者: Demonstrate 時(shí)間: 2025-3-30 19:23
10樓
