Titlebook: Computer Science Logic; 16th International W Julian Bradfield Conference proceedings 2002 Springer-Verlag Berlin Heidelberg 2002 AI Logic.C

压榨机

书目名称Computer Science Logic影响因子(影响力)




书目名称Computer Science Logic影响因子(影响力)学科排名




书目名称Computer Science Logic网络公开度




书目名称Computer Science Logic网络公开度学科排名




书目名称Computer Science Logic被引频次




书目名称Computer Science Logic被引频次学科排名




书目名称Computer Science Logic年度引用




书目名称Computer Science Logic年度引用学科排名




书目名称Computer Science Logic读者反馈




书目名称Computer Science Logic读者反馈学科排名

LAVA

μ-Calculus via Games (Extended Abstract) on labeled graphs. A fundamental connection was established by Emerson and Jutla [.] and subsequently developed by several authors [., ., ., .]. Essentially, the result is that any formula of the μ-calculus expresses the existence of a strategy in a certain game. The idea of such a correspondence c

COWER

Jacket

On Continuous Normalizationckert, Buchholz and Schwichtenberg. In an extension of the untyped coinductive λ-calculus by void construcors (so-called repetition rules), a primitive recursive normalization function is defined. Compared with other formulations of continuous normalization, this definition is much simpler and there

Obstruction

Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middls paper another approach to realizability of propositional formulas is studied. This approach is based on the following informal idea: a formula is realizable if it has a “simple” realization for each substitution. More precisely, logical connectives are interpreted as operations on sets of natural

储备

储备

个阿姨勾引你

ACTIN

Greibach Normal Form in Algebraically Complete Semiringsguages. In particular, we show that Greibach’s normal form theorem depends only on a few equational properties of least pre-fixed-points in semirings, and elimination of chain- and deletion rules depend on their inequational properties (and the idempotency of addition). It follows that these normal

oracle

Proofnets and Context Semantics for the Additivesed with cut-elimination on MALL sequents. The results extend the program of Gonthier, Abadi, and Lévy, who provided a “geometry of optimal λ-reduction” (context semantics) for λ-calculus and Multiplicative-Exponential Linear Logic (MELL). We integrate three features: a semantics that uses . to imple