你太谦虚
发表于 2025-3-21 17:59:52
书目名称Mathematical Foundations of Computer Science 1996影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0626130<br><br> <br><br>书目名称Mathematical Foundations of Computer Science 1996读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0626130<br><br> <br><br>
避开
发表于 2025-3-22 00:17:17
Partial order reduction: Model-checking using representatives,the property to be checked. Applying the reduction constructs a reduced state-space that generates at least one representative for each equivalence class. This paper surveys some algorithms for partial order model-checking. The presentation focuses on the . approach. The reduction approach is extended to branching specifications.
Arthritis
发表于 2025-3-22 00:54:45
Bisimilarity problems requiring exponential time (Extended abstract),is calculus and thus that exponential time is . in order to solve it. We then prove that, if we add a . operator to the calculus, and we impose that parallel composition is never used inside recursive definitions, then the bisimilarity problem is still EXP-complete, thus no harder than in the fragment without parallel composition.
Density
发表于 2025-3-22 05:35:43
Conference proceedings 1996d 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.
转换
发表于 2025-3-22 10:14:17
http://reply.papertrans.cn/63/6262/626130/626130_5.png
Flirtatious
发表于 2025-3-22 13:47:44
A sequent calculus for subtyping polymorphic types,ive structures. The systems are complete with respect to this semantics. The logic which emerges from this paper can be seen as a successor to the original Hilbert style system proposed by J. Mitchell in 1988, and to the “half way” sequent calculus of G. Longo, K. Milsted and S. Soloviev proposed in 1995.
行乞
发表于 2025-3-22 18:55:01
http://reply.papertrans.cn/63/6262/626130/626130_7.png
谄媚于人
发表于 2025-3-23 01:11:41
Linear time temporal logics over Mazurkiewicz traces,eoretic methods for solving the satisfiability and model checking problems for these logics. It turns out that we still do not know what the “canonical” linear time temporal logic over Mazurkiewicz traces looks like. We identify here the criteria that should be met by this elusive logic.
态学
发表于 2025-3-23 02:11:22
On the query complexity of sets,e important than Turing degree..We investigate when extra queries add power. We show that, for several nonrecursive sets ., the more queries you can ask, the more sets you can decide; however, there are sets for which more queries do not help at all.
无能的人
发表于 2025-3-23 05:38:47
Shortest path problems with time constraints,d. Finally, we consider the general case where there is a vertex-dependent upper bound on the waiting time at each vertex. Several algorithms with pseudopolynomial time complexity are proposed to solve the problems. First we assume that all transit times . are positive integers. In the last section, we show how to include zero transit times.