首页>外文会议>Computer Science Logic

Computer Science Logic

召开年：2002
召开地：Edinburgh(GB);Edinburgh(GB);Edinburgh(GB);Edinburgh(GB);Edinburgh(GB)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Compactness and Continuity, Constructively Revisited

机译：紧凑性和连续性，建设性地重新审视
- 作者：Douglas Bridges;Hajime Ishihara;Peter Schuster
- 会议名称：《Computer Science Logic》 | 2002年
- compact metric spaces;
- uniform continuity;
- constructive analysis;
2.Optimal Complexity Bounds for Positive LTL Games

机译：积极的LTL游戏的最佳复杂性界限
- 作者：Jerzy Marcinkowski;Tomasz Truderung
- 会议名称：《Computer Science Logic》 | 2002年
3.Resolution Refutations and Propositional Proofs with Height-Restrictions

机译：具有高度限制的分辨率反驳和命题证明
- 作者：Arnold Beckmann
- 会议名称：《Computer Science Logic》 | 2002年
4.Trading Probability for Fairness

机译：公平交易的可能性
- 作者：Marcin Jurdzinski;Orna Kupferman;Thomas A. Henzinger
- 会议名称：《Computer Science Logic》 | 2002年
5.Automata, Logic, and XML

机译：自动机，逻辑和XML
- 作者：Prank Neven
- 会议名称：《Computer Science Logic》 | 2002年
6.Bijections between Partitions by Two-Directional Rewriting Techniques

机译：通过双向重写技术在分区之间的双射
- 作者：Max Kanovich
- 会议名称：《Computer Science Logic》 | 2002年
- multiset rewriting;
- church-rosser property;
- confluence;
- termination;
- strong normalization;
- combinatorics;
- integer partitions;
- partition identities;
7.Classical Linear Logic of Implications

机译：蕴涵的经典线性逻辑
- 作者：Masahito Hasegawa
- 会议名称：《Computer Science Logic》 | 2002年
8.Configuration Theories

机译：配置理论
- 作者：Pietro Cenciarelli
- 会议名称：《Computer Science Logic》 | 2002年
- semantics;
- concurrency;
- configuration structures;
- sequent calculus;
- java;
9.Decidability of Bounded Higher-Order Unification

机译：有界高阶统一性的可判定性
- 作者：Manfred Schmidt-Schauss;Klaus U. Schulz
- 会议名称：《Computer Science Logic》 | 2002年
10.Designs, Disputes and Strategies

机译：设计，争议和策略
- 作者：Claudia Faggian;Martin Hyland
- 会议名称：《Computer Science Logic》 | 2002年
11.Duality between Call-by-Name Recursion and Call-by-Value Iteration

机译：按名称调用递归和按值调用迭代之间的对偶
- 作者：Yoshihiko Kakutani
- 会议名称：《Computer Science Logic》 | 2002年
12.Equivalence and Isomorphism for Boolean Constraint Satisfaction

机译：布尔约束满足的等价和同构
- 作者：Elmar Boenier;Edith Hemaspaandra;Steffen Reith;Heribert Vollmer
- 会议名称：《Computer Science Logic》 | 2002年
13.Extraction of Proofs from the Clausal Normal Form Transformation

机译：从子句范式转换中的证明提取
- 作者：Hans de Nivelle
- 会议名称：《Computer Science Logic》 | 2002年
14.Greibach Normal Form in Algebraically Complete Semirings

机译：代数完全半环中的Greibach范式
- 作者：Zoltan Esik;Hans Leiss
- 会议名称：《Computer Science Logic》 | 2002年
15.Higher-Order Positive Set Constraints

机译：高阶正集约束
- 作者：Jean Goubault-Larrecq
- 会议名称：《Computer Science Logic》 | 2002年
16.Hoare Logics for Recursive Procedures and Unbounded Nondeterminism

机译：递归过程和无确定性的Hoare逻辑
- 作者：Tobias Nipkow
- 会议名称：《Computer Science Logic》 | 2002年
17.Implicit Computational Complexity for Higher Type Functionals

机译：高阶功能的隐式计算复杂度
- 作者：Daniel Leivant
- 会议名称：《Computer Science Logic》 | 2002年
18.Local Problems, Planar Local Problems and Linear Time

机译：局部问题，平面局部问题和线性时间
- 作者：Regis Barbanchon;Etienne Grandjean
- 会议名称：《Computer Science Logic》 | 2002年
19.Logical Relations for Monadic Types

机译：单子类型的逻辑关系
- 作者：Jean Goubault-Larrecq;Slawomir Lasota;David Nowak
- 会议名称：《Computer Science Logic》 | 2002年
- logical relations;
- monads;
- semantics;
- typed lambda-calculus;
20.A Fixpoint Theory for Non-monotonic Parallelism

机译：非单调并行性的不动点理论
- 作者：Yifeng Chen
- 会议名称：《Computer Science Logic》 | 2002年
21.A Fully Abstract Relational Model of Syntactic Control of Interference

机译：干扰句法控制的完全抽象关系模型
- 作者：Guy McCusker
- 会议名称：《Computer Science Logic》 | 2002年
- semantics;
- algol-like languages;
- interference control;
- full abstraction;
- object spaces;
- monoids;
22.A Logic for Probabilities in Semantics

机译：语义概率逻辑
- 作者：M. Andrew Moshier;Achim Jung
- 会议名称：《Computer Science Logic》 | 2002年
23.A Logic of Probability with Decidable Model-Checking

机译：具有确定性模型检查的概率逻辑
- 作者：Daniele Beauquier;Alexander Rabinovich;Anatol Slissenko
- 会议名称：《Computer Science Logic》 | 2002年
24.A Proof Theoretical Account of Continuation Passing Style

机译：连续传递方式的证明理论说明
- 作者：Ichiro Ogata
- 会议名称：《Computer Science Logic》 | 2002年
- classical logic;
- classical natural deduction;
- LKQ;
- call-by-value;
- CPS-translation;
- classical proof theory;
25.A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming

机译：线性逻辑程序中用于证明搜索的资源管理标签框架系统
- 作者：Joshua S. Hodas;Pablo Lopez;Jeffrey Polakow;Lubomira Stoilova;Ernesto Pimentel
- 会议名称：《Computer Science Logic》 | 2002年
26.On Continuous Normalization

机译：关于连续规范化
- 作者：Klaus Aehlig;Felix Joachimski
- 会议名称：《Computer Science Logic》 | 2002年
27.On Generalizations of Semi-terms of Particularly Simple Form

机译：关于特别简单形式的半项的推广
- 作者：Matthias Baaz;Georg Moser
- 会议名称：《Computer Science Logic》 | 2002年
- structure of proofs;
- complexity of programs;
- proof theory;
28.On the Automatizability of Resolution and Related Propositional Proof Systems

机译：解析和相关命题证明系统的自动化
- 作者：Albert Atserias;Maria Luisa Bonet
- 会议名称：《Computer Science Logic》 | 2002年
29.On the Variable Hierarchy of the Modal μ-Calculus

机译：关于模态微积分的可变层次
- 作者：Dietmar Berwanger;Erich Graedel;Giacomo Lenzi
- 会议名称：《Computer Science Logic》 | 2002年
- modal μ-calculus;
- games;
- descriptive complexity;
30.Open Proofs and Open Terms: A Basis for Interactive Logic

机译：开放证明和开放术语：交互逻辑的基础
- 作者：Herman Geuvers;Gueorgui I. Jojgov
- 会议名称：《Computer Science Logic》 | 2002年
- interactive theorem proving;
- type theory;
- open terms;
- metavariables;
- formulas-as-types;
31.Partial Fixed-Point Logic on Infinite Structures

机译：无限结构上的部分定点逻辑
- 作者：Stephan Kreutzer
- 会议名称：《Computer Science Logic》 | 2002年
32.Possible World Semantics for General Storage in Call-By-Value

机译：按值通话的通用存储的可能世界语义
- 作者：Paul Blain Levy
- 会议名称：《Computer Science Logic》 | 2002年
33.Proofnets and Context Semantics for the Additives

机译：添加剂的证明网和上下文语义
- 作者：Harry G. Mairson;Xavier Rival
- 会议名称：《Computer Science Logic》 | 2002年
34.Resource Tableaux

机译：资源表
- 作者：Didier Galmiche;Daniel Mery;David Pym
- 会议名称：《Computer Science Logic》 | 2002年
- BI;
- resources;
- semantics;
- tableaux;
- decidability;
- finite model property;
35.Solving Pushdown Games with a ∑_3 Winning Condition

机译：解决获胜条件为∑_3的下推式游戏
- 作者：Thierry Cachat;Jacques Duparc;Wolfgang Thomas
- 会议名称：《Computer Science Logic》 | 2002年
36.The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL

机译：重述口吃原则：关于逻辑LTL中嵌套X和U运算符的可表达性
- 作者：Antonin Kucera;Jan Strejcek
- 会议名称：《Computer Science Logic》 | 2002年
37.Travelling on Designs Ludics Dynamics

机译：在设计上旅行Ludics Dynamics
- 作者：Claudia Faggian
- 会议名称：《Computer Science Logic》 | 2002年
38.Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle

机译：命题公式的可实现性变型与排除中间弱定律的逻辑。
- 作者：Alexey V. Chernov;Dmitriy P. Skvortsov;Elena Z. Skvortsova;Nikolai K. Vereshchagin
- 会议名称：《Computer Science Logic》 | 2002年
- realizability;
- kolmogorov complexity;
- superintuitionis-tic logics;
39.μ-Calculus via Games

机译：通过游戏进行微积分
- 作者：Damian Niwiriski
- 会议名称：《Computer Science Logic》 | 2002年