標(biāo)題: Titlebook: Recent Trends in Data Type Specification; 8th Workshop on Spec Michel Bidoit,Christine Choppy Conference proceedings 1993 Springer-Verlag B [打印本頁] 作者: concord 時(shí)間: 2025-3-21 16:59
書目名稱Recent Trends in Data Type Specification影響因子(影響力)
書目名稱Recent Trends in Data Type Specification影響因子(影響力)學(xué)科排名
書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度
書目名稱Recent Trends in Data Type Specification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Recent Trends in Data Type Specification被引頻次
書目名稱Recent Trends in Data Type Specification被引頻次學(xué)科排名
書目名稱Recent Trends in Data Type Specification年度引用
書目名稱Recent Trends in Data Type Specification年度引用學(xué)科排名
書目名稱Recent Trends in Data Type Specification讀者反饋
書目名稱Recent Trends in Data Type Specification讀者反饋學(xué)科排名
作者: 恃強(qiáng)凌弱 時(shí)間: 2025-3-21 21:14 作者: Encoding 時(shí)間: 2025-3-22 03:42 作者: filicide 時(shí)間: 2025-3-22 07:08 作者: Sleep-Paralysis 時(shí)間: 2025-3-22 11:34
Fernando Orejas,Marisa Navarro,Ana Sáncheze mainstream philosophical view running from Hume to Frege, Russell, and Quine, summarized thus by Kant: “Existence is not a predicate.” The initial section of the book presents a comprehensive introduction to, and critical evaluation of, this mainstream view. The author moves on to provide the firs作者: tangle 時(shí)間: 2025-3-22 16:53 作者: 窩轉(zhuǎn)脊椎動(dòng)物 時(shí)間: 2025-3-22 21:01 作者: mechanical 時(shí)間: 2025-3-22 21:36
Mohamed Bettaz,Mourad Maoucheeatrix inspires us to fabulate these facts into events and plots with personal significance attempting to delineate a life-course in life-stories within the ever-flowing stream – existence...Seeking their deep motivations, causes and concatenations, we fabulate relatively stabilized networks of inte作者: mediocrity 時(shí)間: 2025-3-23 03:17
Michael Breuhe workshop, organized by Ileana Comorovski and Claire Gardent, was supported by a grant from the Reseau ′ de Sciences Cognitives du Grand Est (‘Cognitive Science Network of the Greater East’), which is gratefully acknowledged. The ?rst e- tor wishes to thank Claire Gardent, Fred Landman, and George作者: ANTI 時(shí)間: 2025-3-23 06:28 作者: jumble 時(shí)間: 2025-3-23 12:51
H. Ehrig,F. Parisi-Presiccefor many decades. What gives the construction its name is that Gen Neg occurs only under sentential negation; other allegedly crucial factors include topic–focus structure, unaccusativity, perspectival structure, the lexical semantics of the verb, and the referential status of the NP. Here we focus 作者: DOSE 時(shí)間: 2025-3-23 14:54 作者: Resistance 時(shí)間: 2025-3-23 20:33
Peter Gabrielme that not only action verbs but predicates of all sorts have an additional event argument. Yet, this hypothesis is not without controversy in particular with respect to the particularly challenging case of statives. Maienborn (2003, 2005b) argues that there is a need for distinguishing two kinds o作者: 拍翅 時(shí)間: 2025-3-24 01:03 作者: ALE 時(shí)間: 2025-3-24 05:22
Gianna Reggios becoming aware of the universal concerns of human existence, including the concepts of death, freedom, isolation, and meaninglessness. According to existential thought, such awareness to our existential concerns often provokes?negative emotions such as fear and dread, and is considered to be the b作者: 高射炮 時(shí)間: 2025-3-24 07:19
Antonino Salibra,Giuseppe Scollos becoming aware of the universal concerns of human existence, including the concepts of death, freedom, isolation, and meaninglessness. According to existential thought, such awareness to our existential concerns often provokes?negative emotions such as fear and dread, and is considered to be the b作者: CROAK 時(shí)間: 2025-3-24 12:16 作者: 煩躁的女人 時(shí)間: 2025-3-24 18:38
s becoming aware of the universal concerns of human existence, including the concepts of death, freedom, isolation, and meaninglessness. According to existential thought, such awareness to our existential concerns often provokes?negative emotions such as fear and dread, and is considered to be the b作者: Pepsin 時(shí)間: 2025-3-24 22:17
Bounded implementation of algebraic specifications,.作者: 遺忘 時(shí)間: 2025-3-25 01:28
Specifications with observable formulae and observational satisfaction relation,作者: 說笑 時(shí)間: 2025-3-25 07:21 作者: 搬運(yùn)工 時(shí)間: 2025-3-25 08:58
ytic ontology, the author prioritizes a meta-ontological viewpoint, adopting a dual definition of meta-ontology as the discourse on the meaning of being, and as the discourse on the tools and methods of ontolog978-94-007-9588-4978-94-007-4207-9Series ISSN 0166-6991 Series E-ISSN 2542-8292 作者: 起皺紋 時(shí)間: 2025-3-25 13:30 作者: 頭腦冷靜 時(shí)間: 2025-3-25 18:34 作者: Memorial 時(shí)間: 2025-3-25 23:06
J. L. Fiadeiro,J. F. Costa,A. Sernadas,T. S. E. Maibaumding of the book manuscript. We wish to thank all the participants in the workshop, not only those whose contributions appear in this volume, for making the workshop an int- active and constructive event. Ilean978-1-4020-6198-1978-1-4020-6197-4Series ISSN 0924-4662 Series E-ISSN 2215-034X 作者: 不能妥協(xié) 時(shí)間: 2025-3-26 00:59
Egidio Astesiano,Gianna Reggio, laying the groundwork for further research..In accordance with the latest trends in analytic ontology, the author prioritizes a meta-ontological viewpoint, adopting a dual definition of meta-ontology as the discourse on the meaning of being, and as the discourse on the tools and methods of ontolog作者: machination 時(shí)間: 2025-3-26 05:21 作者: Gene408 時(shí)間: 2025-3-26 11:30
Fernando Orejas,Marisa Navarro,Ana Sánchez, laying the groundwork for further research..In accordance with the latest trends in analytic ontology, the author prioritizes a meta-ontological viewpoint, adopting a dual definition of meta-ontology as the discourse on the meaning of being, and as the discourse on the tools and methods of ontolog作者: JIBE 時(shí)間: 2025-3-26 12:38
Gilles Bernot,Pascale Le Galll freedom and inward stirrings thrown in an enigmatic interplay, prompt our imperative thirst for the meaning of this course, its purpose and its fulfillment – the sense of it all. To disentangle all this animates the passions of the literary genius...The focus of this collection is to isolate the m作者: 天空 時(shí)間: 2025-3-26 19:02 作者: 谷物 時(shí)間: 2025-3-26 21:35 作者: hysterectomy 時(shí)間: 2025-3-27 04:51 作者: Rct393 時(shí)間: 2025-3-27 06:48
H. Ehrig,F. Parisi-Presicceb. These problems lead to a re-examination of the distinction between Existential and Locative sentences, and of the distinction between sentential and constituent negation. We identify three distinct approaches to these issues, exploring their strengths and weaknesses. We do not argue conclusively 作者: Detain 時(shí)間: 2025-3-27 10:30
Peter Gabrielin manner adverbials and Parsons’ (2000) so-called time travel argument. It will be argued that the manner data which, at first sight, seem to provide evidence for a Davidsonian approach to statives are better analysed as non-compositional reinterpretations triggered by the lack of a regular Davidso作者: hidebound 時(shí)間: 2025-3-27 16:36 作者: 植物群 時(shí)間: 2025-3-27 20:11
Gianna Reggioto illustrate that inauthenticity and authenticity are not separate modes but rather?reflect a range of possible responses to the universal concerns across a wide spectrum. Authenticity is introduced as a balanced approach to one’s existential anxiety and thus a central aspect of the intervention?pr作者: 四海為家的人 時(shí)間: 2025-3-28 01:50
Antonino Salibra,Giuseppe Scolloto illustrate that inauthenticity and authenticity are not separate modes but rather?reflect a range of possible responses to the universal concerns across a wide spectrum. Authenticity is introduced as a balanced approach to one’s existential anxiety and thus a central aspect of the intervention?pr作者: 和諧 時(shí)間: 2025-3-28 03:25 作者: Affable 時(shí)間: 2025-3-28 07:08 作者: 惡臭 時(shí)間: 2025-3-28 13:12
Relationships between logical frameworks,cal interconnection, “categorical”, where the relation is between the categories of models, and “l(fā)ogical”, where the relation is between specifications. Then we propose a concept of translation of inference systems along simulations such that soundness and completeness are preserved.作者: Intercept 時(shí)間: 2025-3-28 17:44 作者: aptitude 時(shí)間: 2025-3-28 22:42
New concepts of amalgamation and extension for a general theory of specifications,uational algebraic specifications. These results are promising for a general theory of parameterized and module specifications where strong persistency of functors can be relaxed by weaker properties.作者: 推測(cè) 時(shí)間: 2025-3-29 00:14 作者: indoctrinate 時(shí)間: 2025-3-29 04:45
Process semantics of temporal logic specification,theories and a model of it as a diagram in the category of processes, the limit of the process diagram is a model of the colimit of the theory diagram. In fact, any denotation of a system of interconnected specifications corresponds to a configuration of their denotations as a system of interconnected processes.作者: 神圣在玷污 時(shí)間: 2025-3-29 10:49
Generic classes in an object-based language,s and then introduces a treatment of the semantics of generic classes for ... Again, while the categories involved are very different, the results are very reminiscent of those found in algebraic specifications.作者: Measured 時(shí)間: 2025-3-29 14:28 作者: Additive 時(shí)間: 2025-3-29 16:44 作者: 分離 時(shí)間: 2025-3-29 20:27 作者: ATRIA 時(shí)間: 2025-3-30 02:42 作者: 生銹 時(shí)間: 2025-3-30 05:21 作者: ACTIN 時(shí)間: 2025-3-30 09:37 作者: 編輯才信任 時(shí)間: 2025-3-30 16:01
How to specify non determinism and true concurrency with algebraic term nets, Then we give them an interpretation in terms of .. The proposed logic acts as an axiomatisation allowing us to study the behavior of Algebraic Term Nets by deduction in such a logic. Moreover we present and discuss a general approach allowing us to write the axioms in such a way that our nets are e作者: 發(fā)生 時(shí)間: 2025-3-30 18:04 作者: 反復(fù)無常 時(shí)間: 2025-3-30 22:19 作者: flaggy 時(shí)間: 2025-3-31 04:46 作者: 有惡臭 時(shí)間: 2025-3-31 08:42
The object-based specification language ,: concepts, syntax, and semantics,s algebraic specifications, imperative programs, and path expressions. This paper presents new results on the formal semantics for some parts of the language. We introduce the semantics of the algebraic specification and the imperative program parts as well as a computational model. Since these defi作者: 勉強(qiáng) 時(shí)間: 2025-3-31 09:26
A soft stairway to institutions,n of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using logical systems. Earlier translations of order-sorted conditional equational logic and of cond
