標(biāo)題: Titlebook: Mathematical Foundations of Computer Science 1989; Porabka-Kozubnik, Po Antoni Kreczmar,Grazyna Mirkowska Conference proceedings 1989 Sprin [打印本頁] 作者: 方言 時(shí)間: 2025-3-21 16:58
書目名稱Mathematical Foundations of Computer Science 1989影響因子(影響力)
書目名稱Mathematical Foundations of Computer Science 1989影響因子(影響力)學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1989網(wǎng)絡(luò)公開度
書目名稱Mathematical Foundations of Computer Science 1989網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1989被引頻次
書目名稱Mathematical Foundations of Computer Science 1989被引頻次學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1989年度引用
書目名稱Mathematical Foundations of Computer Science 1989年度引用學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 1989讀者反饋
書目名稱Mathematical Foundations of Computer Science 1989讀者反饋學(xué)科排名
作者: Conflict 時(shí)間: 2025-3-21 20:30
A thesis for bounded concurrency,t components that communicate, synchronize, or otherwise cooperate. Comparisons involving succinctness and the time complexity of reasoning about programs have been undertaken. The results, which are extremely robust, show that in all the cases we have addressed bounded cooperative concurrency is of作者: savage 時(shí)間: 2025-3-22 02:52
Space bounded computations : Review and new separation results,iques. We show that, for a slightly modified Turing machine model, the low level deterministic and nondeterministic space bounded complexity classes are different. Furthermore, for this computation model, we show that Savitch and Immerman-Szelepcsényi theorems do not hold in the range lg lg . to lg 作者: separate 時(shí)間: 2025-3-22 08:19
Correctness of concurrent processes,operators of CCS [Mi 80], CSP [Ho 85] and COSY [LTS 79] and logical formulas S specifying sets of finite communication sequences as in [Zw 89]. The definition of P . S is based on a Petri net semantics for process terms [Ol 89]. The main point is that P . S requires a simple liveness property of the作者: Harpoon 時(shí)間: 2025-3-22 11:11 作者: BILIO 時(shí)間: 2025-3-22 14:11
Algebraically closed theories,hat most of the abstraction morphisms we are interested in don‘t commute with least fixed points. In order to offer an alternative to least fixed point semantics we present an axiomatization of the notion of fixed point calculus within the formalism of algebraic theories. Such a calculus fixes one s作者: thyroid-hormone 時(shí)間: 2025-3-22 19:30
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses,set of computed answer substitutions (the so-called success set) and the second one takes deadlock and infinite behaviour into account. They are easily related. The main purpose of the paper is to develop compositional models for GHC that are correct with respect to the operational models. For the s作者: DEAWL 時(shí)間: 2025-3-22 21:24 作者: 搜尋 時(shí)間: 2025-3-23 03:18
Optimal parallel algorithms for the recognition and colouring outerplanar graphs,ing a nontrivial class of graphs and it is the main result of the paper. If the graph is outerplanar and biconnected then a Hamiltonian cycle is produced. Using this cycle and optimal parsing algorithm for bracket expressions the construction of the tree of faces as well as vertex colourings (with t作者: 旋轉(zhuǎn)一周 時(shí)間: 2025-3-23 05:34 作者: Headstrong 時(shí)間: 2025-3-23 10:06 作者: debris 時(shí)間: 2025-3-23 16:46
Equivalence notions for concurrent systems and refinement of actions, of possible runs as well as ”branching time” approaches where the conflict structure of systems is taken into account. We show that the usual interleaving equivalences, and also the equivalences based on . (multisets of concurrently executed actions) are not preserved by refinement of atomic action作者: mydriatic 時(shí)間: 2025-3-23 19:29 作者: 分散 時(shí)間: 2025-3-24 01:15
Valery N. Agafonovet.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: CUR 時(shí)間: 2025-3-24 03:14 作者: installment 時(shí)間: 2025-3-24 09:49 作者: 向下五度才偏 時(shí)間: 2025-3-24 12:30 作者: 異常 時(shí)間: 2025-3-24 17:43
Ludmila A. Cherkasova,Vadim E. Kotovet.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: 不要嚴(yán)酷 時(shí)間: 2025-3-24 20:13 作者: 騷擾 時(shí)間: 2025-3-24 23:49 作者: Narrative 時(shí)間: 2025-3-25 04:04
B. A. Trakhtenbrotet.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: aggravate 時(shí)間: 2025-3-25 08:40 作者: Largess 時(shí)間: 2025-3-25 15:04
James H. Andrewset.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: 效果 時(shí)間: 2025-3-25 18:50
Eric Badouelet.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: 共棲 時(shí)間: 2025-3-25 23:56 作者: 紋章 時(shí)間: 2025-3-26 03:08
Cristian Calude,Dragos Vaidaet.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: 迷住 時(shí)間: 2025-3-26 07:28
Bogdan Chlebus,Krzysztof Diks,Wojciech Rytter,Tomasz Szymachaet.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: Cultivate 時(shí)間: 2025-3-26 09:04 作者: Peculate 時(shí)間: 2025-3-26 15:36
Krzysztof Diks,Torben Hagerup,Wojciech Rytteret.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: LOPE 時(shí)間: 2025-3-26 17:35
Charles Elkanet.Kurz, pr?gnant, relevant – und das Wesentliche sitzt.Mult.Richtig oder falsch? ?Bei der Akuttherapie des isch?mischen Schlaganfalls sollte der Blutdruck erst ab Werten über 220/120 mmHg gesenkt werden.“ ?Eine Migr?neaura kann auch isoliert ohne Kopfschmerzen auftreten“. ?Die okul?re Myasthenie, b作者: 駭人 時(shí)間: 2025-3-26 21:31 作者: 帶傷害 時(shí)間: 2025-3-27 02:10 作者: 阻止 時(shí)間: 2025-3-27 07:00
Logical characterizations of nonmonotonic TMSs,racterizes the logical inferences performed by a nonmonotonic TMS in terms of two formalisms of independent interest, namely logic programming with the stable set semantics and autoepistemic logic. The paper also shows that implementing a nonmonotonic TMS is an .-complete problem.作者: 乞丐 時(shí)間: 2025-3-27 12:40
Proving correctness of constructor implementations,In this paper we explore a proof strategy for this kind of implementation in a specification language close to ASL. The results show that these proofs are feasible in some cases, but since a general result is not attainable we are satisfied by coping with the most common cases.作者: MAOIS 時(shí)間: 2025-3-27 14:35
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626123.jpg作者: STENT 時(shí)間: 2025-3-27 20:23
978-3-540-51486-2Springer-Verlag Berlin Heidelberg 1989作者: 嗎啡 時(shí)間: 2025-3-27 22:50
Mathematical Foundations of Computer Science 1989978-3-540-48176-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 遠(yuǎn)足 時(shí)間: 2025-3-28 04:12
Monadic second-order logic and context-free graph-grammars,Sets of finite graphs (and hypergraphs) can be defined in different ways : by context-free grammars, by conguences, by logical formulas. We compare these three types of definitions. In particular, we consider certain context-free graph-grammar, the parsing of which can be expressed in monadic second-order logic.作者: Gingivitis 時(shí)間: 2025-3-28 08:54 作者: 駁船 時(shí)間: 2025-3-28 13:11 作者: giggle 時(shí)間: 2025-3-28 16:31 作者: 泛濫 時(shí)間: 2025-3-28 19:14
Valery N. Agafonovn dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: 反話 時(shí)間: 2025-3-29 01:41 作者: 煞費(fèi)苦心 時(shí)間: 2025-3-29 05:30 作者: Heterodoxy 時(shí)間: 2025-3-29 10:15 作者: Monocle 時(shí)間: 2025-3-29 14:50
Ludmila A. Cherkasova,Vadim E. Kotovn dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: 他去就結(jié)束 時(shí)間: 2025-3-29 17:53
Kurt Mehlhorn,Stefan N?hern dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: yohimbine 時(shí)間: 2025-3-29 19:44 作者: 外星人 時(shí)間: 2025-3-29 23:55
B. A. Trakhtenbrotn dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: 火光在搖曳 時(shí)間: 2025-3-30 04:42 作者: 暗指 時(shí)間: 2025-3-30 11:00
James H. Andrewsn dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: 群島 時(shí)間: 2025-3-30 12:58
Eric Badoueln dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: 過去分詞 時(shí)間: 2025-3-30 17:00
Frank S. de Boer,Joost N. Kok,Catuscia Palamidessi,Jan J. M. M. Ruttenn dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: 收集 時(shí)間: 2025-3-30 22:32
Cristian Calude,Dragos Vaidan dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: textile 時(shí)間: 2025-3-31 02:18
Bogdan Chlebus,Krzysztof Diks,Wojciech Rytter,Tomasz Szymachan dazugeh?rigen Kernaussagen. .Ideal als solide Basis für eine effektive Prüfungsvorbereitung. Griffbereit für alle, die ihr neurologisches Know-how auffrischen wollen...978-3-642-29731-1978-3-642-29732-8作者: 慢慢沖刷 時(shí)間: 2025-3-31 07:35 作者: 合群 時(shí)間: 2025-3-31 10:58 作者: 表狀態(tài) 時(shí)間: 2025-3-31 15:35 作者: Thyroid-Gland 時(shí)間: 2025-3-31 20:46 作者: 透明 時(shí)間: 2025-3-31 22:40
Concurrent nondeterministic processes: Adequacy of structure and behaviour,作者: 愛花花兒憤怒 時(shí)間: 2025-4-1 05:43
