首页>外文期刊>Logical Methods in Computer Science

Logical Methods in Computer Science

中文名称：计算机科学中的逻辑方法

ISSN：
出版周期：-

发文量：1030

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Two-Way Unary Temporal Logic over Trees

机译：树上的双向一元时间逻辑
- 作者：Miko?ajBojańczyk
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第3期
2.Ranking Functions for Size-Change Termination II

机译：尺寸更改终端的排名功能II
- 作者：AmirM.Ben-Amram;ChinSoonLee
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第2期
3.The Church Problem for Countable Ordinals

机译：可数普通人的教会问题
- 作者：AlexanderRabinovich
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第2期
4.Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators

机译：对称交互组合器中的观测当量和完全抽象
- 作者：DamianoMazza
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第4期
5.The Complexity of Infinite Computations In Models of Set Theory

机译：集合论模型中无限计算的复杂性
- 作者：OlivierFinkel
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第4期
6.Beyond Language Equivalence on Visibly Pushdown Automata

机译：可视下推自动机的超越语言对等
- 作者：Ji?íSrba
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第1期
7.Relational Parametricity for Computational Effects

机译：计算效果的关系参数
- 作者：RasmusEjleM?gelberg;AlexSimpson
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第3期
8.RPO, Second-order Contexts, and Lambda-calculus

机译：RPO，二阶上下文和Lambda演算
- 作者：PietroDiGianantonio;FurioHonsell;MarinaLenisa
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第3期
9.Cut-Simulation and Impredicativity

机译：剪切模拟和拟似性
- 作者：ChristophE.Benzmueller;ChadE.Brown;MichaelKohlhase
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第1期
10.On tiered small jump operators

机译：在分层小跳运算符上
- 作者：Jean-YvesMarion
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第1期
11.Solving Simple Stochastic Games with Few Random Vertices

机译：用很少的随机点解简单的随机游戏
- 作者：HugoGimbert;FlorianHorn
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第2期
12.Universal Structures and the logic of Forbidden Patterns

机译：通用结构和禁止模式的逻辑
- 作者：FlorentR.Madelaine
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第2期
13.A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

机译：无限状态过程动态网络推理的通用框架
- 作者：AhmedBouajjani;CezaraDr?goi;ConstantinEnea;YanJurski;MihaelaSighireanu
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第2期
14.A Type System For Call-By-Name Exceptions

机译：呼叫姓名例外的类型系统
- 作者：SylvainLebresne
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第4期
15.The Safe Lambda Calculus

机译：安全Lambda演算
- 作者：WilliamBlum;C.-H.LukeOng
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第1期
16.Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

机译：直觉后继计算的连续传递样式和强归一化
- 作者：JoseEspiritoSanto;RalphMatthes;LuisPinto
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第2期
17.Simulating reachability using first-order logic with applications to verification of linked data structures

机译：使用一阶逻辑和应用程序来验证可达性，以验证链接的数据结构
- 作者：TalLev-Ami;NeilImmerman;ThomasWReps;MoolySagiv;SiddharthSrivastava;GretaYorsh
- 期刊名称：《Logical Methods in Computer Science》 | 2009年第2期
18.Acyclic Solos and Differential Interaction Nets

机译：非循环独奏和差分相互作用网
- 作者：ThomasEhrhard;OlivierLaurent
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
19.A Graph Model for Imperative Computation

机译：用于命令式计算的图模型
- 作者：GuyAndrMcCusker
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第1期
20.A Model of Cooperative Threads

机译：合作线程模型
- 作者：Martiacute;nAbadi;GordonD.Plotkin
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
21.Domain Representable Spaces Defined by Strictly Positive Induction

机译：严格正归纳定义的域表示空间
- 作者：PetterKrisK?ber
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
22.Automatic Modular Abstractions for Template Numerical Constraints

机译：模板数值约束的自动模块化抽象
- 作者：DavidMonniaux
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
23.Positive Supercompilation for a Higher-Order Call-By-Value Language

机译：高阶调用值语言的正超编译
- 作者：PeterA.Jonsson;JohanNordlander
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
24.Game semantics for first-order logic

机译：一阶逻辑的游戏语义
- 作者：OlivierLaurent
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
25.O-Minimal Hybrid Reachability Games

机译：O-最小混合可及性游戏
- 作者：PatriciaBouyer;ThomasBrihaye;FabriceChevalier
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第1期
26.Modularity of Convergence and Strong Convergence in Infinitary Rewriting

机译：无限式重写中的收敛性和强收敛性模块化
- 作者：StefanMichKahrs
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
27.An Explicit Framework for Interaction Nets

机译：交互网络的显式框架
- 作者：MarcdeFalco
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
28.Non-Deterministic Kleene Coalgebras

机译：非确定性Kleene Coalgebras
- 作者：AlexandraSilva;MarcelloBonsangue;JanRutten
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
29.The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

机译：Presburger归纳不变量的一般矢量加法系统可达性问题
- 作者：JeromeLeroux
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
30.The complexity of global cardinality constraints

机译：全局基数约束的复杂性
- 作者：AndreiA.Bulatov;DanielMarx
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
31.Bounded Linear Logic, Revisited

机译：再谈有界线性逻辑
- 作者：UgoDalLago;MartinHofmann
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
32.Lazy Evaluation and Delimited Control

机译：惰性评估和定界控制
- 作者：RonaldGarcia;AndrewLumsdaine;AmrSabry
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
33.Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories

机译：正交模格，Foulis半群和Dagger内核类别
- 作者：BartJacobs
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第2期
34.Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

机译：不定式组合归约系统：归一化归约策略
- 作者：JeroenKetema;JakobGrueSimonsen
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第1期
35.On Constructive Connectives and Systems

机译：论建设性连接词和系统
- 作者：ArnonAvron;OriLahav
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
36.Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

机译：逻辑框架的细化类型及其作为证明无关紧要的解释
- 作者：WilliamLovas;FrankPfenning
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
37.Unification in the Description Logic EL

机译：描述逻辑EL中的统一
- 作者：FranzBaader;BarbaraMorawska
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
38.Propositional Dynamic Logic for Message-Passing Systems

机译：消息传递系统的命题动态逻辑
- 作者：BenediktBollig;DietrichKuske;IngmarMeinecke
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
39.Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

机译：用右平规则模置换理论终止重写
- 作者：LuisBarguno;GuillemGodoy;EduardHuntingford;AshishTiwari
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
40.Initial Algebra Semantics for Cyclic Sharing Tree Structures

机译：循环共享树结构的初始代数语义
- 作者：MakotoHamana
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
41.Tree Languages Defined in First-Order Logic with One Quantifier Alternation

机译：具有一个量词替换的一阶逻辑中定义的树语言
- 作者：MikolajBojanczyk;LucSegoufin
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
42.Expressiveness and Closure Properties for Quantitative Languages

机译：定量语言的表现力和封闭性
- 作者：KrishnenduChatterjee;LaurentDoyen;ThomasAHenzinger
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
43.On the meaning of logical completeness

机译：关于逻辑完整性的含义
- 作者：MicheleBasaldella;KazushigeTerui
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第4期
44.Bifinite Chu Spaces

机译：BI finite chu spaces
- 作者：ManfredDroste;Guo-QiangZhang
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第1期
45.Well-definedness of Streams by Transformation and Termination

机译：通过转换和终止可以很好地定义流
- 作者：HansZantema
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
46.A Proof Theoretic Analysis of Intruder Theories

机译：入侵者理论的证明理论分析
- 作者：AlwenTiu;RajeevGoré;JeremyDawson
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
47.Sampled Semantics of Timed Automata

机译：定时自动机的采样语义
- 作者：PavelKrcalParoshAzizAbdulla;WangYi
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
48.Analytic Tableaux for Simple Type Theory and its First-Order Fragment

机译：简单类型理论及其一阶片段的解析表
- 作者：ChadE.Brown;GertSmolka
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第2期
49.Spatial logics with connectedness predicates

机译：具有连通性谓词的空间逻辑
- 作者：RomanKontchakov;IanPratt-Hartmann;FrankWolter;MichaelZakharyaschev
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
50.Interactive Learning-Based Realizability for Heyting Arithmetic with EM₁

机译：基于交互式学习的基于EM₁的Heyting算法的可实现性
- 作者：FedericoAschieri;StefanoBerardi
- 期刊名称：《Logical Methods in Computer Science》 | 2010年第3期
51.Internalising modified realisability in constructive type theory

机译：在建构型理论中内化修正的可实现性
- 作者：ErikPalmgren
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
52.Split-2 Bisimilarity has a Finite Axiomatization over CCS withbr Hennessy's Merge

机译：在轩尼诗合并的情况下，Split-2双相似性在CCS上具有有限的公理化
- 作者：LucaAceto;WanFokkink;AnnaIngolfsdottir;BasLuttik
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第1期
53.Strong normalization for applied lambda calculi

机译：应用lambda结石的强归一化
- 作者：UlrichBerger
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
54.Comparing hierarchies of total functionals

机译：比较全部功能的层次结构
- 作者：DagNormann
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
55.Labelled transition systems as a Stone space

机译：标记为过渡系统的石头空间
- 作者：MichaelR.AHuth
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第1期
56.Model-checking problems as a basis for parameterized intractability

机译：模型检查问题作为参数化难处理性的基础
- 作者：J?rgFlum;MartinGrohe
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第1期
57.Almost periodic functions, constructively

机译：建设性的几乎周期性的功能
- 作者：BasSpitters
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第3期
58.Security Policies as Membranes in Systems for Global Computing

机译：安全策略作为全局计算系统中的膜
- 作者：DanieleGorla;MatthewHennessy;VladimiroSassone
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第3期
59.Contextual equivalence for higher-order pi-calculus revisited

机译：再谈高阶pi演算的上下文对等
- 作者：AlanS.AJeffrey;JulianRathke
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第1期
60.Modularizing the Elimination of r=0 in Kleene Algebra

机译：在Kleene代数中对r = 0的消除进行模块化
- 作者：ChristopherS.Hardin
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第3期
61.The succinctness of first-order logic on linear orders

机译：线性阶上一阶逻辑的简洁性
- 作者：MartinGrohe;NicoleSchweikardt
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第1期
62.An Operational Foundation for Delimited Continuations in the CPS Hierarchy

机译：CPS层次结构中定界连续的操作基础
- 作者：MalgorzataBiernacka;DariuszBiernacki;OlivierDanvy
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
63.Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

机译：使用参数化解边界确定无量词的Presburger公式
- 作者：SanjitASeshia;RandalEBryant
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
64.Probabilistic Algorithmic Knowledge

机译：概率算法知识
- 作者：JosephY.Halpern;RiccardoPucella
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第3期
65.Linear datalog and bounded path duality of relational structures

机译：关系结构的线性数据记录和有界路径对偶
- 作者：VictorDalmau
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第1期
66.General recursion via coinductive types

机译：通过共归类型进行一般递归
- 作者：VenanzioCapretta
- 期刊名称：《Logical Methods in Computer Science》 | 2005年第2期
67.Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages

机译：类逻辑语言的分离逻辑打字语义和高阶框架规则
- 作者：LarsBirkedal;NoahTorp-Smith;HongseokYang
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第5期
68.Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

机译：用射影配对扩展可扩展Lambda演算是保守的
- 作者：KristianStoslash;vring
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第2期
69.From Proof Nets to the Free *-Autonomous Category

机译：从证明网到免费*自治类别
- 作者：Fran?oisLamarche;LutzStrassburger
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第4期
70.On the Expressiveness of the Ambient Logic

机译：论环境逻辑的表现力
- 作者：DanielHirschkoff;EtienneLozes;DavideSangiorgi
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第2期
71.The Completeness of Propositional Resolution: A Simple and Constructive Proof

机译：命题解决方案的完整性：简单而建设性的证明
- 作者：JeanH.Gallier
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第5期
72.Theories for TC0 and Other Small Complexity Classes

机译：TC0和其他小型复杂性理论
- 作者：PhuongNguyen;StephenCook
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第1期
73.Logics for Unranked Trees: An Overview

机译：未排序树的逻辑：概述
- 作者：LeonidLibkin
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第3期
74.Efficient Open World Reasoning for Planning

机译：有效的开放世界规划推理
- 作者：TamaraBabaian;JamesG.Schmolze
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第3期
75.Extending the theory of Owicki and Gries with a logic of progress

机译：用进步的逻辑扩展奥威基和格里斯的理论。
- 作者：BrijeshDongol;DougGoldson
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第1期
76.The monadic second-order logic of graphs XVI : Canonical graph decompositions

机译：图XVI的单子二阶逻辑：典型图分解
- 作者：BrunoCourcelle
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第2期
77.Positional Determinacy of Games with Infinitely Many Priorities

机译：具有无限多个优先级的游戏的位置确定性
- 作者：ErichGr?del;IgorWalukiewicz
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第4期
78.Computably Based Locally Compact Spaces

机译：基于计算的局部紧空间
- 作者：PaulTaylor
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第1期
79.Resource Usage Analysis for the π-Calculus

机译：π演算的资源使用分析
- 作者：NaokiKobayashi;KoheiSuenaga;LucianWischik
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第3期
80.Relational Parametricity and Control

机译：关系参数和控制
- 作者：MasahitoHasegawa
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第3期
81.On the complexity of XPath containment in the presence of disjunction, DTDs, and variables

机译：关于存在析取，DTD和变量的XPath包含的复杂性
- 作者：FrankNeven;ThomasSchwentick
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第3期
82.Model Checking Probabilistic Pushdown Automata

机译：模型检查概率下推自动机
- 作者：AntonínKu?era;JavierEsparza;InstituteforFormalMethodsinComputerScience;UniversityofStuttgartRichardMayr
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第1期
83.Tarski's influence on computer science

机译：塔斯基对计算机科学的影响
- 作者：SolomonFeferman
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第3期
84.Approximate reasoning for real-time probabilistic processes

机译：实时概率过程的近似推理
- 作者：VineetGupta;RadhaJagadeesan;PrakashPanangaden
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第1期
85.Linear Abadi and Plotkin Logic

机译：线性Abadi和Plotkin逻辑
- 作者：LarsBirkedal;RasmusE.Moslash;gelbergRasmusLercPetersen
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第5期
86.Combining decision procedures for the reals

机译：结合房地产的决策程序
- 作者：JeremyAvigad;HarveyFriedman
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第4期
87.Linear Encodings of Bounded LTL Model Checking

机译：有界LTL模型检查的线性编码
- 作者：ArminBiere;KeijoHeljanko;TommiJunttila;TimoLatvala;ViktorSchuppan
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第5期
88.Solution of a Problem of Barendregt on Sensible λ-Theories

机译：基于敏感λ理论的Barendregt问题的解决
- 作者：BenedettoIntrigila;RichardStatman
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第4期
89.Modal Logics of Topological Relations

机译：拓扑关系的模态逻辑
- 作者：CarstenLutz;FrankWolter
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第2期
90.Context-Sensitive Languages, Rational Graphs and Determinism

机译：上下文相关语言，有理图和确定性
- 作者：ArnaudCarayol;AntoineMeyer
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第2期
91.Generalized Majority-Minority Operations are Tractable

机译：广义多数操作是可行的
- 作者：VictorDalmau
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第4期
92.Elgot Algebras

机译：埃尔戈特代数
- 作者：Ji?í Adámek;Stefan Milius;Ji?í Velebil
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第5期
93.Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

机译：模态逻辑中的算法对应关系和完整性。一，核心算法SQEMA
- 作者：WillemConradie;ValentinGoranko;DimiterVakarelov
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第1期
94.A System of Interaction and Structure II: The Need for Deep Inference

机译：互动和结构系统II：深入推理的需求
- 作者：AlwenTiu
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第2期
95.A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information

机译：具有状态信息和不完整信息的域的基于状态的回归公式
- 作者：TuanC.Le;ChittaBaral;SonC.Tran
- 期刊名称：《Logical Methods in Computer Science》 | 2006年第4期
96.Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness

机译：密集定时陪替氏网：检查芝诺度，代币活跃度和有界度
- 作者：ParoshA.Abdulla;PrithaMahata;RichardM.Mayr
- 期刊名称：《Logical Methods in Computer Science》 | 2007年第1期
97.The Church Synthesis Problem with Parameters

机译：带参数的教堂综合问题
- 作者：AlexanderRabinovich
- 期刊名称：《Logical Methods in Computer Science》 | 2007年第4期
98.On the decidability and complexity of Metric Temporal Logic over finite words

机译：有限词度量时间逻辑的可判定性和复杂性
- 作者：JoelO.Ouaknine;JamesB.Worrell
- 期刊名称：《Logical Methods in Computer Science》 | 2007年第1期
99.Interpolant-Based Transition Relation Approximation

机译：基于插值的过渡关系逼近
- 作者：RanjitJhala;KennethL.McMillan
- 期刊名称：《Logical Methods in Computer Science》 | 2007年第4期
100.Inductive Definition and Domain Theoretic Properties of Fully Abstract Models for PCF and PCF+

机译：PCF和PCF +的完全抽象模型的归纳定义和领域理论性质
- 作者：VladimirSazonov
- 期刊名称：《Logical Methods in Computer Science》 | 2007年第3期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号