AMUSE
发表于 2025-3-21 19:12:08
书目名称Computer Science Logic影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0233776<br><br> <br><br>书目名称Computer Science Logic读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0233776<br><br> <br><br>
NOCT
发表于 2025-3-21 23:30:49
William Ascher,Natalia Mirovitskayaa is a certain . from the structure generated by a given recursion scheme to an auxiliary ., which is itself generated by a related order-0 recursion scheme. By a structural analysis of the computation tree based on the . of the recursion scheme, we can infer certain properties of the generated stru
常到
发表于 2025-3-22 04:18:27
http://reply.papertrans.cn/24/2338/233776/233776_3.png
Insul岛
发表于 2025-3-22 04:42:21
https://doi.org/10.1007/978-94-011-4032-4otivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics. We then point out to algebraic principles behind the two logics and present an abstract algebraic theory that unifies them and provides an effective framewor
FLAT
发表于 2025-3-22 11:22:57
The Cassini Cosmic Dust Analyzer,ver a sized type is accepted if it is visible in the type system that recursive calls occur just at a smaller size. This approach is only sound if the type of the recursive function is admissible, i.e., depends on the size index in a certain way. To explore the space of admissible functions in the p
CURL
发表于 2025-3-22 16:38:39
https://doi.org/10.1007/1-4020-3874-7ly many classes, according to which state has an infinite run. Building the full type hierarchy upon this interpretation of the base type gives a finite semantics for simply-typed lambda-trees..A calculus based on this semantics is proven sound and complete. In particular, for regular infinite lambd
CURL
发表于 2025-3-22 20:11:57
http://reply.papertrans.cn/24/2338/233776/233776_7.png
思考
发表于 2025-3-22 22:43:48
Using plutonium to run a spacecraftknows all logical consequences of her assumptions. In this paper, we suggest the following Logical Omniscience Test (LOT): an epistemic system . is not logically omniscient if for any valid in . knowledge assertion . of type ‘.,’ there is a proof of . in ., the complexity of which is bounded by some
会议
发表于 2025-3-23 02:44:42
Using plutonium to run a spacecraftes on lambda-calculus terms: all typable terms can be evaluated in polynomial time and all Ptime functions can be represented. In the present work we address the problem of typing lambda-terms in second-order .. For that we give a procedure which, starting with a term typed in system F, finds all po
奖牌
发表于 2025-3-23 06:03:39
The mother planet and its magnetospherecond step computes successively all the solutions with a delay between two consecutive solutions .. and .. that is linear in |..|. We prove that evaluating a fixed monadic second order (MSO) query . (i.e. computing all the tuples that satisfy the MSO formula) in a binary tree is a .. problem. More p