標(biāo)題: Titlebook: Categorical Methods in Computer Science; With Aspects from To H. Ehrig,H. Herrlich,G. Preu? Conference proceedings 1989 Springer-Verlag Ber [打印本頁] 作者: 浮華 時間: 2025-3-21 19:02
書目名稱Categorical Methods in Computer Science影響因子(影響力)
書目名稱Categorical Methods in Computer Science影響因子(影響力)學(xué)科排名
書目名稱Categorical Methods in Computer Science網(wǎng)絡(luò)公開度
書目名稱Categorical Methods in Computer Science網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Categorical Methods in Computer Science被引頻次
書目名稱Categorical Methods in Computer Science被引頻次學(xué)科排名
書目名稱Categorical Methods in Computer Science年度引用
書目名稱Categorical Methods in Computer Science年度引用學(xué)科排名
書目名稱Categorical Methods in Computer Science讀者反饋
書目名稱Categorical Methods in Computer Science讀者反饋學(xué)科排名
作者: 相信 時間: 2025-3-21 22:34
Revised ACT ONE: Categorical constructions for an algebraic specification language,作者: regale 時間: 2025-3-22 01:06
Cauchy sequences in quasi-uniform spaces: Categorical aspects,作者: Extort 時間: 2025-3-22 05:44 作者: 使混合 時間: 2025-3-22 09:07 作者: 運(yùn)動的我 時間: 2025-3-22 15:33 作者: 運(yùn)動的我 時間: 2025-3-22 18:43 作者: CESS 時間: 2025-3-22 21:31 作者: foliage 時間: 2025-3-23 02:59 作者: 的闡明 時間: 2025-3-23 08:44
Development of algebraic specifications with constraints,ntroduced allowing to obtain full compatibility between the model and the specification level semantics for the kind of specification building operations used here. Moreover, proof-theoretic sufficient conditions are given for checking this property.作者: 手術(shù)刀 時間: 2025-3-23 12:56 作者: ineffectual 時間: 2025-3-23 14:52
Topological spaces for cpos,ssociated topologically continuous functions may be used. This latter answer is confirmed categorically by the existence of an adjunction and a Galois connection of the third kind between the category of cpos and the category of order consistent topologies where the image of the category of cpos is the subcategory of Scott topologies.作者: adipose-tissue 時間: 2025-3-23 22:03
Conference proceedings 1989e "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: .Part . .1. includes papers on categorical foundations and fundamental concepts from category theory in computer science. .Part 2. presents applications of cat作者: 新鮮 時間: 2025-3-24 01:38 作者: AORTA 時間: 2025-3-24 06:22 作者: 1分開 時間: 2025-3-24 10:14 作者: 太空 時間: 2025-3-24 12:18
Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter pass of several value specifications of one arbitrary parameterized specification. We also discuss the semantics for coordinate parameter passing..The results obtained are specialized to order-sorted specification, since our notion of specification is more general than that of order-sorted specification.作者: delegate 時間: 2025-3-24 18:46 作者: 以煙熏消毒 時間: 2025-3-24 21:52 作者: hemophilia 時間: 2025-3-24 23:35
Categories for the development of algebraic module specifications,basic development category. Five independent modifications, which are important for practical specification development, are sketched in the paper leading to several other development categories where corresponding compatibility results are true under some additional side conditions.作者: 牛馬之尿 時間: 2025-3-25 03:46
Parameterized data type and process specifications using projection algebras,projection spaces is used for the definition of the semantics of recursive process specifications. Discrete projections (corresponding to the discrete metric) can be taken for data types. This allows to use projection specifications also for combined data- and process types.作者: anesthesia 時間: 2025-3-25 10:10 作者: 文藝 時間: 2025-3-25 12:28
Ganga – Our Endangered Heritage of the type. The main result of this paper gives a semantic basis for database-like identification by keys: the object universe can be specified uniquely (up to isomorphism) employing general principles of preservation of data, distinguishability by keys, and representability by keys.作者: 符合你規(guī)定 時間: 2025-3-25 17:45
Nature’s Cure of the Ganga: The Ganga-Jalbasic development category. Five independent modifications, which are important for practical specification development, are sketched in the paper leading to several other development categories where corresponding compatibility results are true under some additional side conditions.作者: 指令 時間: 2025-3-25 21:57 作者: vertebrate 時間: 2025-3-26 01:16
0302-9743 and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: .Part . .1. includes papers on categorical foundations and fundamental concepts from category theory in computer science. .Part 2. presents applicati作者: 小官 時間: 2025-3-26 04:59
Dipankar Ghorai,Himadri Sekhar Senby using a new parameter passing technique called .. The theory also covers the notion of . and it is shown that the result of successive actualization and recursive parameter passing is independent of the order. The specification method makes sense under an arbitrary institution.作者: squander 時間: 2025-3-26 09:13
Parameterized algebraic domain equations,by using a new parameter passing technique called .. The theory also covers the notion of . and it is shown that the result of successive actualization and recursive parameter passing is independent of the order. The specification method makes sense under an arbitrary institution.作者: fastness 時間: 2025-3-26 15:58
https://doi.org/10.1007/3-540-51722-7Abstrakte Datentypen; Algebraische Spezifikation; Kategorientheorie; Topologie; logic; object; programming作者: 拋射物 時間: 2025-3-26 18:03 作者: FIG 時間: 2025-3-26 23:33
Iftikhar Ahmad,Esther Mohr,Günter SchmidtThe construct . (resp. ..) of (separated) projection spaces and projection morphisms is shown to have limits and colimits, free objects, powerobjects, and objects representing (extremal) partial morphisms. These structures are exhibited explicitly.作者: CANDY 時間: 2025-3-27 05:07 作者: Cryptic 時間: 2025-3-27 05:25
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/222529.jpg作者: 保守黨 時間: 2025-3-27 09:47 作者: separate 時間: 2025-3-27 13:36 作者: 去世 時間: 2025-3-27 17:56
https://doi.org/10.1007/978-3-319-00158-6rsal) cocones form the bodies. Moreover, because the cocone is associated to each diagram in a uniform way, the colimit construction itself turns out to be parametric over-coming one of the limitations of ordinary parameterized specifications, this is the fixed size and structure of the formal param作者: Spinal-Fusion 時間: 2025-3-28 00:48
https://doi.org/10.1007/978-3-319-00278-1nient in algebra and category theory but puts a burden on logic: If truth evaluation of formulas is not considered to be partial (which creates an abundance of problems itself), anomalies in validity, truth, and deduction can not be avoided. Nevertheless, various approaches to first order logic with作者: tympanometry 時間: 2025-3-28 03:54 作者: 無畏 時間: 2025-3-28 08:10
https://doi.org/10.1007/978-3-319-00518-8ifications, i.e. specifications in which some objects (data sorts or operations) are not fully described. Technically, this is handled by means of loose semantics with data constraints. Two basic kinds of refinements are used or the specification building: horizontal and vertical refinements. Horizo作者: 厚顏 時間: 2025-3-28 13:28 作者: Aggressive 時間: 2025-3-28 15:38
Nature’s Cure of the Ganga: The Ganga-Jalal development steps, like refinement, simulation and transformation, and a realization concept of interface by module specifications. Various compatibility results between horizontal operations, vertical steps and realization are explicitly presented and summarized as one compatibility result in a 作者: ineluctable 時間: 2025-3-28 19:14 作者: Gustatory 時間: 2025-3-29 02:51 作者: Offbeat 時間: 2025-3-29 03:26 作者: 邊緣帶來墨水 時間: 2025-3-29 08:23 作者: GRAZE 時間: 2025-3-29 12:53
https://doi.org/10.1007/978-3-319-00590-4gebra, the state transformation corresponding to a declaration changes the algebra and its presentation. We provide a uniform treatment of the declarations of constants, aliases, variables, data types, and pointers, in terms of transformations defined using pushouts and reducts of algebras.作者: 軌道 時間: 2025-3-29 18:11
Product Line Design with Pricing Kitsrogramming language semantics in a category of topological spaces instead of the category of complete partial orders (cpos) which category should be used? This question is first considered with respect to objects, i.e., replacing a cpo by a topological space(s), and then with respect to objects and 作者: cogent 時間: 2025-3-29 22:41
Colimits as parameterized data types,rsal) cocones form the bodies. Moreover, because the cocone is associated to each diagram in a uniform way, the colimit construction itself turns out to be parametric over-coming one of the limitations of ordinary parameterized specifications, this is the fixed size and structure of the formal parameter part.作者: Generator 時間: 2025-3-30 01:31
Foundations are rich institutions, but institutions are poor foundations,sfaction. Roughly, we formalize a rather weak form of Lawvere‘s concept of doctrines. We only touch upon some properties of this setup relevant for a theory of specification. The paper is a first outline of ideas.作者: 束縛 時間: 2025-3-30 06:52
On declarations,gebra, the state transformation corresponding to a declaration changes the algebra and its presentation. We provide a uniform treatment of the declarations of constants, aliases, variables, data types, and pointers, in terms of transformations defined using pushouts and reducts of algebras.作者: Enrage 時間: 2025-3-30 09:10 作者: HUMP 時間: 2025-3-30 13:44 作者: Cocker 時間: 2025-3-30 19:33 作者: Redundant 時間: 2025-3-30 22:48
https://doi.org/10.1007/978-3-319-00590-4gebra, the state transformation corresponding to a declaration changes the algebra and its presentation. We provide a uniform treatment of the declarations of constants, aliases, variables, data types, and pointers, in terms of transformations defined using pushouts and reducts of algebras.作者: NADIR 時間: 2025-3-31 02:46
A categorical concept of constraints for algebraic specifications,first order logical constraints. On the semantical level we study the category CATSPECC of algebraic specifications with constraints and on the semantical level the category Cat(SPECC) of SPECC-algebras, which are usual SPEC-algebras satisfying a given set C of constraints..We show that basic constr作者: CT-angiography 時間: 2025-3-31 08:29 作者: STANT 時間: 2025-3-31 11:15
Colimits as parameterized data types,rsal) cocones form the bodies. Moreover, because the cocone is associated to each diagram in a uniform way, the colimit construction itself turns out to be parametric over-coming one of the limitations of ordinary parameterized specifications, this is the fixed size and structure of the formal param作者: NORM 時間: 2025-3-31 16:44
Empty carriers: The categorical burden on logic,nient in algebra and category theory but puts a burden on logic: If truth evaluation of formulas is not considered to be partial (which creates an abundance of problems itself), anomalies in validity, truth, and deduction can not be avoided. Nevertheless, various approaches to first order logic with
