標(biāo)題: Titlebook: Algebra, Meaning, and Computation; Essays dedicated to Kokichi Futatsugi,Jean-Pierre Jouannaud,José Meseg Book 2006 Springer-Verlag Berlin [打印本頁(yè)] 作者: 粗略 時(shí)間: 2025-3-21 18:32
書目名稱Algebra, Meaning, and Computation影響因子(影響力)
書目名稱Algebra, Meaning, and Computation影響因子(影響力)學(xué)科排名
書目名稱Algebra, Meaning, and Computation網(wǎng)絡(luò)公開度
書目名稱Algebra, Meaning, and Computation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Algebra, Meaning, and Computation被引頻次
書目名稱Algebra, Meaning, and Computation被引頻次學(xué)科排名
書目名稱Algebra, Meaning, and Computation年度引用
書目名稱Algebra, Meaning, and Computation年度引用學(xué)科排名
書目名稱Algebra, Meaning, and Computation讀者反饋
書目名稱Algebra, Meaning, and Computation讀者反饋學(xué)科排名
作者: Mundane 時(shí)間: 2025-3-21 22:20
0302-9743 ons span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, logics in computer science, semiotics, interface design, multimedia, and consciousness, to mention just some作者: 咆哮 時(shí)間: 2025-3-22 03:58 作者: 迅速飛過 時(shí)間: 2025-3-22 04:51
Proving Behavioral Refinements of COL-specificationstation constructions. We propose a general strategy for proving the correctness of such refinements by reduction to (standard) first-order theorem proving with induction. Technically our strategy relies on appropriate proof rules and on a lifting construction to encode the reachability and observability notions of the COL institution.作者: enmesh 時(shí)間: 2025-3-22 12:45
https://doi.org/10.37307/b.978-3-503-20628-5ddressing such a wide range of issues has required both authors to develop and adopt new discourse strategies ranging from rational argumentation to mathematics, from religious and philosophical commentary to speculative (science) fiction and poetry.作者: 吹牛需要藝術(shù) 時(shí)間: 2025-3-22 16:45
Einführung in das Trainingsmanualseveral equational logics, in which conditional equations can be derived as well at no additional cost, as opposed to the typical method using the theorems of constants and of deduction. At our knowledge, this is a new result in equational logics.作者: LAPSE 時(shí)間: 2025-3-22 17:08 作者: PANEL 時(shí)間: 2025-3-23 00:58
Complete Categorical Deduction for Satisfaction as Injectivityseveral equational logics, in which conditional equations can be derived as well at no additional cost, as opposed to the typical method using the theorems of constants and of deduction. At our knowledge, this is a new result in equational logics.作者: 排名真古怪 時(shí)間: 2025-3-23 04:41
,überblick zum Forschungsstand,of art and on the role that music plays in human cognition and evolution, concluding that improvising music together allows participants and listeners to explore complex and emergent forms of social order.作者: Assemble 時(shí)間: 2025-3-23 09:01 作者: Parallel 時(shí)間: 2025-3-23 10:29 作者: chronology 時(shí)間: 2025-3-23 17:01
Book 2006ay we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, logics in computer science, semiotics, interface design, multimedia, and consciousness, to mention just some of the areas, have all been enriched in fu作者: 思考才皺眉 時(shí)間: 2025-3-23 21:06 作者: bleach 時(shí)間: 2025-3-24 01:08
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petresive HLR categories, which is still sufficient to show all the results known for adhesive HLR systems. This concept includes not only all kinds of graphs mentioned above, but also place/transition nets, algebraic high-level nets and several other kinds of Petri nets. For this reason weak adhesive H作者: IST 時(shí)間: 2025-3-24 05:24 作者: 裹住 時(shí)間: 2025-3-24 07:03
Ansatzpunkte zur Optimierung des Ratings,the SW languages and use institution morphisms to relate them. We show that RDF framework together with the RDF serializations of SW languages form an indexed institution. This allows the use of Grothendieck institutions to combine Web ontologies described in various languages.作者: Affection 時(shí)間: 2025-3-24 13:21 作者: Enzyme 時(shí)間: 2025-3-24 17:24
Wesentliche Erkenntnisse und Ausblick,n-determinism, loops, and transduction. Such additional choice points require fitting some additional control to the reactive engine. Further parameters are required for some functionalities. For instance, the local word access stack is handy as an argument to the output routine in the case of trans作者: 提名 時(shí)間: 2025-3-24 20:00
Book 2006mposium in San Diego, California, USA in June 2006. Both the Festschrift volume and the Symposium allow the articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph G作者: 心痛 時(shí)間: 2025-3-24 23:16
0302-9743 articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph G978-3-540-35462-8978-3-540-35464-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 拔出 時(shí)間: 2025-3-25 05:13
Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativityce and complex networks to illuminate the dynamics of collective musical improvisation. Throughout, it argues for a systems understanding of creativity—a view that takes seriously the notion that group creativity is not simply reducible to individual psychological processes—and it explores interconn作者: 馬具 時(shí)間: 2025-3-25 10:35
Metalogic, Qualia, and Identity on Neptune’s Great Moon: Meaning and Mathematics in the Works of Jospresentation, and the divergence between meaning in formal systems of understanding and in everyday lived experience. This essay attempts to draw out some of the parallels between the works of these two authors, in particular regarding metalogic, qualia, and identity, using illustrative examples fro作者: 鋪?zhàn)?nbsp; 時(shí)間: 2025-3-25 14:29
Quantum Institutions of institutions helps in capturing the precise relationships between the logics that are obtained, and, furthermore, helps in analyzing some of the key design decisions and opens the way to make the approach more useful and, at the same time, more abstract.作者: 兒童 時(shí)間: 2025-3-25 17:36
Jewels of Institution-Independent Model Theoryndent model theory as it stands today, the true form of abstract model theory which is based on the concept of institution. Institution theory was co-fathered by Joseph Goguen and Rod Burstall in late 1970’s. In the final part we discuss some philosophical roots of institution-independent methodolog作者: 星球的光亮度 時(shí)間: 2025-3-25 20:45 作者: Glower 時(shí)間: 2025-3-26 02:12 作者: 愛了嗎 時(shí)間: 2025-3-26 05:28 作者: 創(chuàng)造性 時(shí)間: 2025-3-26 09:53
Extension Morphisms for CommUnity of invasive superposition morphisms between components in the architecture design language CommUnity. This kind of morphism allows us to characterise component extension relationships, and in particular, serves an important purpose for enhancing components to implement certain ., in the sense of as作者: GLOOM 時(shí)間: 2025-3-26 14:12 作者: 人類學(xué)家 時(shí)間: 2025-3-26 17:49
From OBJ to ML to Coqse, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them. In this paper, we are interested in certain language features and in languages which help make the user’s life easier for developing programs satisfying their specif作者: ANA 時(shí)間: 2025-3-26 22:39 作者: 熱情的我 時(shí)間: 2025-3-27 04:28
From OBJ to Maude and Beyondign. A common thread is the quest for ever more expressive computational logics, on which executable formal specifications of increasingly broader classes of systems can be based. Several recent extensions, beyond Maude itself, are also discussed.作者: 廢止 時(shí)間: 2025-3-27 08:40
Constructive Action Semantics in OBJcould be improved. We propose using the notation and modular structure of the Constructive Action Semantics framework in OBJ, and give a simple illustration. The reader is assumed to be familiar with OBJ.作者: mechanism 時(shí)間: 2025-3-27 12:02 作者: languid 時(shí)間: 2025-3-27 14:43
Composition by Colimit and Formal Software Developmenty of situations in which colimits can be mechanically applied to support software development by refinement. We illustrate the use of colimits to support automated datatype refinement, algorithm design, aspect weaving, and security policy enforcement.作者: PURG 時(shí)間: 2025-3-27 19:41
Proving Behavioral Refinements of COL-specificationsnted properties of software systems. In this paper we consider behavioral refinement relations between COL-specifications taking into account implementation constructions. We propose a general strategy for proving the correctness of such refinements by reduction to (standard) first-order theorem pro作者: 抗原 時(shí)間: 2025-3-27 23:32 作者: 擴(kuò)大 時(shí)間: 2025-3-28 04:26
Kokichi Futatsugi,Jean-Pierre Jouannaud,José MesegIncludes supplementary material: 作者: COMMA 時(shí)間: 2025-3-28 08:22
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/152542.jpg作者: 突襲 時(shí)間: 2025-3-28 12:28 作者: 教唆 時(shí)間: 2025-3-28 14:58 作者: 厭惡 時(shí)間: 2025-3-28 20:08
https://doi.org/10.1007/978-3-8349-6377-2ndent model theory as it stands today, the true form of abstract model theory which is based on the concept of institution. Institution theory was co-fathered by Joseph Goguen and Rod Burstall in late 1970’s. In the final part we discuss some philosophical roots of institution-independent methodologies.作者: commonsense 時(shí)間: 2025-3-29 01:38 作者: 四目在模仿 時(shí)間: 2025-3-29 06:37 作者: 卜聞 時(shí)間: 2025-3-29 10:48
Livio Amigoni,Silvia Aru,Cecilia Vergnanose, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them. In this paper, we are interested in certain language features and in languages which help make the user’s life easier for developing programs satisfying their specifications.作者: 依法逮捕 時(shí)間: 2025-3-29 14:53 作者: 遷移 時(shí)間: 2025-3-29 17:05
Migration, Diasporas and Citizenshipcould be improved. We propose using the notation and modular structure of the Constructive Action Semantics framework in OBJ, and give a simple illustration. The reader is assumed to be familiar with OBJ.作者: dysphagia 時(shí)間: 2025-3-29 21:10
Livio Amigoni,Silvia Aru,Cecilia Vergnanoerging at about the same time, via the introduction of the notions of . and . of implementations. We then give a different view of implementation which we believe provides a more adequate reflection of the rather subtle interplay between implementation, specification structure and program structure.作者: CRAFT 時(shí)間: 2025-3-30 00:59
Debrett‘s Bibliography of Business Historyy of situations in which colimits can be mechanically applied to support software development by refinement. We illustrate the use of colimits to support automated datatype refinement, algorithm design, aspect weaving, and security policy enforcement.作者: flimsy 時(shí)間: 2025-3-30 07:58 作者: 逢迎白雪 時(shí)間: 2025-3-30 10:55 作者: maladorit 時(shí)間: 2025-3-30 14:50
Some Varieties of Equational Logice. One strand of this work concerns algebraic datatypes. Recently there has been some interest in what one may call algebraic . types. As we will show, these are also given by equational theories, if one only understands the notion of equational logic in somewhat broader senses than usual.作者: Tempor 時(shí)間: 2025-3-30 18:57 作者: 錯(cuò)誤 時(shí)間: 2025-3-31 00:23
From OBJ to ML to Coqse, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them. In this paper, we are interested in certain language features and in languages which help make the user’s life easier for developing programs satisfying their specifications.作者: 機(jī)警 時(shí)間: 2025-3-31 04:49
From OBJ to Maude and Beyondign. A common thread is the quest for ever more expressive computational logics, on which executable formal specifications of increasingly broader classes of systems can be based. Several recent extensions, beyond Maude itself, are also discussed.作者: Keratin 時(shí)間: 2025-3-31 05:02 作者: Condense 時(shí)間: 2025-3-31 12:07
Horizontal Composability Revisitederging at about the same time, via the introduction of the notions of . and . of implementations. We then give a different view of implementation which we believe provides a more adequate reflection of the rather subtle interplay between implementation, specification structure and program structure.作者: mercenary 時(shí)間: 2025-3-31 13:48
Composition by Colimit and Formal Software Developmenty of situations in which colimits can be mechanically applied to support software development by refinement. We illustrate the use of colimits to support automated datatype refinement, algorithm design, aspect weaving, and security policy enforcement.作者: Grandstand 時(shí)間: 2025-3-31 19:13
https://doi.org/10.1007/11780274algebra; computer; computer science; formal language; formal languages; multimedia; programming; programmin作者: Mirage 時(shí)間: 2025-4-1 00:47 作者: 即席演說(shuō) 時(shí)間: 2025-4-1 02:42
,überblick zum Forschungsstand,A personal account of how Joseph Goguen and I came to work together and of the influence that Tibetan Buddhism had on us and on our collaboration. A brief discussion of some neurological experiments using meditators and how Goguen’s work connects Buddhism, computing, and cognition.作者: 土坯 時(shí)間: 2025-4-1 08:26 作者: Intellectual 時(shí)間: 2025-4-1 10:14
My Friend Joseph GoguenA personal account of how Joseph Goguen and I came to work together and of the influence that Tibetan Buddhism had on us and on our collaboration. A brief discussion of some neurological experiments using meditators and how Goguen’s work connects Buddhism, computing, and cognition.作者: paleolithic 時(shí)間: 2025-4-1 16:33
Institutional 2-cells and Grothendieck InstitutionsWe propose to use Grothendieck institutions based on 2-categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (some weak variants of) exactness. This framework can also be used for obtaining proof systems for heterogeneous theories involving institution semi-morphisms.作者: 枯燥 時(shí)間: 2025-4-1 19:32
,überblick zum Forschungsstand,ce and complex networks to illuminate the dynamics of collective musical improvisation. Throughout, it argues for a systems understanding of creativity—a view that takes seriously the notion that group creativity is not simply reducible to individual psychological processes—and it explores interconn作者: 松雞 時(shí)間: 2025-4-1 23:48
https://doi.org/10.37307/b.978-3-503-20628-5presentation, and the divergence between meaning in formal systems of understanding and in everyday lived experience. This essay attempts to draw out some of the parallels between the works of these two authors, in particular regarding metalogic, qualia, and identity, using illustrative examples fro
