標(biāo)題: Titlebook: Logic and Program Semantics; Essays Dedicated to Robert L. Constable,Alexandra Silva Book 2012 Springer-Verlag Berlin Heidelberg 2012 alge [打印本頁] 作者: HAVEN 時(shí)間: 2025-3-21 18:14
書目名稱Logic and Program Semantics影響因子(影響力)
書目名稱Logic and Program Semantics影響因子(影響力)學(xué)科排名
書目名稱Logic and Program Semantics網(wǎng)絡(luò)公開度
書目名稱Logic and Program Semantics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic and Program Semantics被引頻次
書目名稱Logic and Program Semantics被引頻次學(xué)科排名
書目名稱Logic and Program Semantics年度引用
書目名稱Logic and Program Semantics年度引用學(xué)科排名
書目名稱Logic and Program Semantics讀者反饋
書目名稱Logic and Program Semantics讀者反饋學(xué)科排名
作者: 把手 時(shí)間: 2025-3-21 23:22 作者: Gnrh670 時(shí)間: 2025-3-22 00:49 作者: PAD416 時(shí)間: 2025-3-22 07:02 作者: echnic 時(shí)間: 2025-3-22 12:28 作者: 陶瓷 時(shí)間: 2025-3-22 16:47 作者: ARK 時(shí)間: 2025-3-22 20:26
Nuprl as Logical Framework for Automating Proofs in Category Theorywork. We have used Nuprl’s display mechanism to implement the basic vocabulary and Nuprl’s rule compiler to implemented a first-order proof calculus for reasoning about categories, functors and natural transformations. To automate proofs we have formalized both standard techniques from automated the作者: DUST 時(shí)間: 2025-3-22 23:28 作者: kindred 時(shí)間: 2025-3-23 03:23 作者: BALK 時(shí)間: 2025-3-23 09:27
A Complete Logical System for the Equality of Recursive Terms for Setserpretations of this language: one makes use of non-wellfounded sets with finite transitive closure, and the other uses pointed finite graphs modulo bisimulation. Our logical system is a sequent-style deduction system. The main axioms and inference rules come from the .-proof system from [6], includ作者: 杠桿 時(shí)間: 2025-3-23 11:51
Combining Epistemic Logic and Hennessy-Milner Logicion system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic 作者: CAPE 時(shí)間: 2025-3-23 15:16 作者: pineal-gland 時(shí)間: 2025-3-23 18:37 作者: expansive 時(shí)間: 2025-3-23 23:03
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Informationrtain maps of event structures. This leads to a bicategory of general concurrent games in which the maps are nondeterministic concurrent strategies. This paper explores the consequences of extending concurrent games with (1) winning, losing and, implicitly, neutral configurations, and (2) access lev作者: intelligible 時(shí)間: 2025-3-24 04:49 作者: 修剪過的樹籬 時(shí)間: 2025-3-24 08:51 作者: Harridan 時(shí)間: 2025-3-24 14:33 作者: GLOSS 時(shí)間: 2025-3-24 17:45 作者: IRS 時(shí)間: 2025-3-24 21:57
Choice and Uncertainty in GamesWe consider an agent choosing between two acts ., ., whose outcomes are uncertain and depend on factors which the agent does not fully know. But for each pair of possible outcomes the agent does know how she would choose. Does the agent then have a way of choosing between the acts which will work at least some of the time?作者: GRILL 時(shí)間: 2025-3-25 00:20
The Complexity of Inhabitation with Explicit IntersectionIt is shown that the inhabitation problem for intersection types without the intersection introduction rule is .-complete and that the further restriction without subtyping is .-complete.作者: 嫌惡 時(shí)間: 2025-3-25 06:13 作者: 小口啜飲 時(shí)間: 2025-3-25 09:46 作者: 神圣在玷污 時(shí)間: 2025-3-25 15:19 作者: Sleep-Paralysis 時(shí)間: 2025-3-25 18:08
https://doi.org/10.1007/978-3-642-29485-3algebraic algorithms; alternating automata; constraint satisfaction; infinite trees; theorem proving; alg作者: 屈尊 時(shí)間: 2025-3-25 23:42 作者: HAIL 時(shí)間: 2025-3-26 03:20 作者: Femish 時(shí)間: 2025-3-26 06:39
978-3-642-29484-6Springer-Verlag Berlin Heidelberg 2012作者: Range-Of-Motion 時(shí)間: 2025-3-26 11:11 作者: Munificent 時(shí)間: 2025-3-26 16:36
Jens Palsberg und Tributen l?ste die . als Schrifttr?ger das Problem, die Information zu den Menschen zu bringen. Diese wurde im 3. Jahrtausend erg?nzt und teilweise ersetzt durch . als Schrifttr?ger, welches aus Mark und St?ngel der Papyrusstaude in Lagen verlegt und gepresst, ein beschreibbares Blatt ergibt, d作者: agenda 時(shí)間: 2025-3-26 20:02
The Compass That Steered Roboticsof a task: (a) How much internal state should the robot retain? (b) How many cooperating robots are required, and how much communication between them is necessary? (c) How can the robot change (side-effect) the environment in order to record state or sensory information to perform a task? (d) How mu作者: theta-waves 時(shí)間: 2025-3-27 00:16 作者: FUSC 時(shí)間: 2025-3-27 01:53 作者: sultry 時(shí)間: 2025-3-27 05:31
Inferring Evolutionary Scenarios in the Duplication, Loss and Horizontal Gene Transfer ModelThese results create a mathematical and computational foundation for a more general and practical problem of inferring HGTs from given gene and species trees with HGTs. We also demonstrate how our model can be used to support HGT hypotheses based on empirical data sets.作者: 委屈 時(shí)間: 2025-3-27 11:38
On the Final Coalgebra of Automatic Sequencesf automatic sequences carries a final coalgebra structure, consisting of the operations of head, even, and odd. This will allow us to show that automatic sequences are to (general) streams what rational languages are to (arbitrary) languages.作者: CRAMP 時(shí)間: 2025-3-27 15:08 作者: FICE 時(shí)間: 2025-3-27 20:58
On Distance Coloring a generalization of tree decompositions to overlay graphs other than trees; a general construction that obtains such decompositions from certain classes of edge partitions; and the use of homology to analyze the cycle structure of colorable graphs. This paper is both a combining and reworking of the papers of Sharp and Kozen [14, 10].作者: 好忠告人 時(shí)間: 2025-3-28 00:07 作者: ETHER 時(shí)間: 2025-3-28 05:17
A Complete Logical System for the Equality of Recursive Terms for Setsisimulation. Our logical system is a sequent-style deduction system. The main axioms and inference rules come from the .-proof system from [6], including the Recursion Inference Rule (but an additional axiom is needed), and also axioms corresponding to the extensionality axiom of set theory.作者: Occlusion 時(shí)間: 2025-3-28 08:32
Combining Epistemic Logic and Hennessy-Milner Logicurrent state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic and epistemic logic. We give an axiomatization for the logic and prove a completeness theorem with respect to the class of models obtained by unfolding labelled transition systems.作者: 說不出 時(shí)間: 2025-3-28 12:43
0302-9743 emorative publicationThis Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 作者: 抵押貸款 時(shí)間: 2025-3-28 16:26
Meditations on Quantified Constraint Satisfactionstanding the complexity of the problems .(.) on finite structures. In particular, we propose and discuss a group of conjectures; throughout, we attempt to place the conjectures in relation to existing results and to emphasize open issues and potential research directions.作者: Debark 時(shí)間: 2025-3-28 20:18
Subtyping for F-Bounded Quantifiers and Equirecursive Typesirecursive types for first-order type systems. Some work has been done for type systems with parametric polymorphism, but that work is incomplete (see below). This chapter will give an intuitive theory of equirecursive types for second-order type systems, sound and complete rules, and a decision procedure for subtyping.作者: 宴會(huì) 時(shí)間: 2025-3-29 01:50 作者: Arteriography 時(shí)間: 2025-3-29 04:15
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Informationels, to address situations where Player or Opponent have imperfect information as to what has occurred in the game. In both cases winning strategies are shown to form bicategories of games. The bicategories become equivalent to order-enriched categories when restricted to deterministic strategies.作者: 施魔法 時(shí)間: 2025-3-29 10:34
Book 2012for logics; alternation; algorithms and complexity; and programming languages and program analysis. The second part of this volume includes laudatios from several collaborators, students and friends, including the members of his current band.作者: 上下倒置 時(shí)間: 2025-3-29 13:51 作者: etidronate 時(shí)間: 2025-3-29 19:34
Which Node Pair and What Status? Asking Expert for Better Network Embeddingor disconnected) of node pair can not be observed. If we can get more useful information hidden in node pairs with unknown link status, it will help improve the performance of network embedding. Therefore, how to model the network with unknown link status actively and effectively remains an area for作者: expunge 時(shí)間: 2025-3-29 20:07
,Advances in P.E.M. Fuel Cell Stack Observer Design Using a Takagi–Sugeno Approach with Unmeasurablebrane Fuel Cell Stack) model. The Fuel Cell model which takes into consideration the auxiliary elements associated to the stack, has been validated through the use of the professional software AMESim by a co-simulation with Matlab-Simulink. The paper’s objective is to construct a TS fuzzy observer s作者: BOLUS 時(shí)間: 2025-3-30 00:24 作者: Conquest 時(shí)間: 2025-3-30 04:08
The Toll of War Captivity: Vulnerability, Resilience, and Premature Aging, aging (or psychological symptomatology). Long-term follow-up of repatriated prisoners of war also confirm this observation. Coping with physical and mental sequelae of captivity means a constant struggle to maintain some kind of “homeostasis.” Often, this delicate equilibrium fails. Claude Bernard 作者: 玉米棒子 時(shí)間: 2025-3-30 12:07 作者: malign 時(shí)間: 2025-3-30 14:49
New Approximation Results for Resource Replication Problemsapproximation algorithms for resource replication problems. Our results range from positive (efficient, small constant factor, approximation algorithms) to extremely negative (impossibility of existence of any algorithm with non-trivial approximation guarantee, i.e., with positive approximation ratio) for different versions of the problem.作者: 縮減了 時(shí)間: 2025-3-30 17:28 作者: 全能 時(shí)間: 2025-3-30 21:15
,Derzeitige State-of-the-Art-Ans?tze,ctional changes: gastric dysrhythmias, cytopathies, immune reactions with the production of autoantibodies, myopathies, uncoordinated contractility, delayed emptying etc. Owing to considerable complexity and an overlap between the histomorphological variants and clinical entities, it is instructive 作者: Fluctuate 時(shí)間: 2025-3-31 04:09 作者: echnic 時(shí)間: 2025-3-31 06:26 作者: 翅膀拍動(dòng) 時(shí)間: 2025-3-31 09:35 作者: 恫嚇 時(shí)間: 2025-3-31 14:31
Spongy Brains and Material Memories,e science.. In early modern studies too, theorists such as Peter Stally-brass and Evelyn Tribble describe certain objects as having a cognitive life of their own, as “exograms” within external symbol systems which couple with and complement the distributed, context-ridden traces or “engrams” of the 作者: Pamphlet 時(shí)間: 2025-3-31 18:42 作者: llibretto 時(shí)間: 2025-4-1 01:40
Tony Malim,Ann BirchComprehensive in terms of content, but also very readable
