首页>外文期刊>计算机、自动化>计算技术、计算机技术>ACM transactions on computational logic

ACM transactions on computational logic

SCIEI

中文名称：计算逻辑上的ACM事务

ISSN：1529-3785
出版周期：Quarterly

发文量：483

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.Complexity of Propositional Logics in Team Semantic

机译：团队语义中命题逻辑的复杂性
- 作者：Hannula Miika;Kontinen Juha;Virtema Jonni;Vollmer Heribert
- 期刊名称：《ACM transactions on computational logic》 | 2018年第1期
- Propositional logic;
- team semantics;
- dependence;
- independence;
- inclusion;
- satisfiability;
- validity;
- model checking;
2.Completeness of Flat Coalgebraic Fixpoint Logics

机译：平坦煤代数定点逻辑的完备性
- 作者：Schroeder Lutz;Venema Yde
- 期刊名称：《ACM transactions on computational logic》 | 2018年第1期
3.Are Short Proofs Narrow? QBF Resolution Is Not So Simple

机译：简短证明狭窄吗？ QBF分辨率不是那么简单
- 作者：Beyersdorff Olaf;Chew Leroy;Mahajan Meena;Shukla Anil
- 期刊名称：《ACM transactions on computational logic》 | 2018年第1期
- Algorithms;
- Theory;
- Proof complexity;
- QBF;
- resolution;
- lower bound techniques;
- simulations;
4.Typed Nominal Rewriting

机译：键入名义重写
- 作者：Fairweather Elliot;Fernandez Maribel
- 期刊名称：《ACM transactions on computational logic》 | 2018年第1期
- Nominal syntax;
- nominal rewriting;
5.Subatomic Proof Systems: Splittable Systems

机译：亚原子证明系统：可拆分系统
- 作者：Tubella Andrea Aler;Guglielmi Alessio
- 期刊名称：《ACM transactions on computational logic》 | 2018年第1期
- Normalisation;
- cut-elimination;
- deep inference;
- subatomic proof systems;
6.Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types

机译：使用严格否定交叉点类型表征λμ的归一化特性
- 作者：Van Bakel Steffen
- 期刊名称：《ACM transactions on computational logic》 | 2018年第1期
- Lambda-mu calculus;
- intersection types;
- semantics;
- normalisation;
7.Definability of Cai-Fuerer-Immerman Problems in Choiceless Polynomial Time

机译：选择多项式时间中Cai-Fuerer-Immerman问题的可确定性
- 作者：Pakusa Wied;Schalthoefer Svenja;Selman Erkal
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
- Cai-Furer-Immerman;
- choiceless polynomial time;
- descriptive complexity;
- finite model theory;
- logic for PTIME;
8.Path Categories and Propositional Identity Types

机译：路径类别和命题身份类型
- 作者：van den Berg Benno
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
- Theory;
- Type theory;
- categorical logic;
- homotopy theory;
9.Hypersequents and Systems of Rules: Em beddings and Applications

机译：Hypersequents和规则系统：嵌入和应用
- 作者：Ciabattoni Agata;Genco Francesco A.
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
- Hypersequents;
- systems of rules;
- natural deduction;
- intermediate logics;
- embedding between formalisms;
10.Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants

机译：具有传递卫兵和相关变体的两变量守卫片段的有限可满足性
- 作者：Kieronski Emanuel;Tendera Lidia
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
- Theory;
- Two-variable logic;
- guarded fragment;
- equivalence relation;
- transitive relation;
- finite satisfiability problem;
- computational complexity;
11.Quantitative Aspects of Linear and Affine Closed Lambda Terms

机译：线性和仿射封闭Lambda项的定量方面
- 作者：Lescanne Pierre
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
- lambda calculus;
- combinatorics;
- functional programming;
12.Modular Labelled Sequent Calculi for Abstract Separation Logics

机译：用于抽象分离逻辑的模块标记顺序演算
- 作者：Hou Zhe;Clouston Ranald;Gore Rajeev;Tiu Alwen
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
13.Compositional Synthesis of Piece-Wise Functions by Learning Classifiers

机译：学习分类器对逐次函数的合成
- 作者：Neider Daniel;Saha Shambwaditya;Madhusudan P.
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
- Program synthesis;
- piece-wise functions;
- constraint solving;
- machine learning;
- counterexamples;
14.Finite-State Map-Reduce Computation and Relational Algebra Queries

机译：有限状态映射减少计算和关系代数查询
- 作者：Even Frank N.;Schweikardt Nicole;Servais Frederic;Tan Tony
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
- Query processing;
- relational algebra;
- semijoin algebra;
- map-reduce computation;
15.Syntax-Preserving Belief Change Operators for Logic Programs

机译：逻辑程序的保留语法的信念更改运算符
- 作者：Binnewies Sebastian;Zhuang Zhiqiang;Wang Kewen;Stantic Bela
- 期刊名称：《ACM transactions on computational logic》 | 2018年第2期
- Logic program;
- belief change;
- strong equivalence;
- answer set;
16.Merging in the Horn Fragment

机译：合并在角碎片中
- 作者：Haret Adrian;Rummele Stefan;Woltran Stefan
- 期刊名称：《ACM transactions on computational logic》 | 2017年第1期
- Belief merging;
- belief change;
- Horn propositional logic;
17.Datalog Queries Distributing over Components

机译：分布在组件上的数据日志查询
- 作者：Ameloot Tom J.;Ketsman Bas;Neven Frank;Zinn Daniel
- 期刊名称：《ACM transactions on computational logic》 | 2017年第1期
- Datalog;
- stratified semantics;
- well-founded semantics;
- coordination-free evaluation;
- distributed databases;
18.A Hoare Logic for GPU Kernels

机译：适用于GPU内核的Hoare逻辑
- 作者：Kojima Kensuke;Igarashi Atsushi
- 期刊名称：《ACM transactions on computational logic》 | 2017年第1期
- GPU;
- Hoare Logic;
19.Parametrised Complexity of Satisfiability in Temporal Logic

机译：时间逻辑中可满足性的参数化复杂性
- 作者：Lueck Martin;Meier Arne;Schindler Irena
- 期刊名称：《ACM transactions on computational logic》 | 2017年第1期
- Parametrised complexity;
- temporal logic;
- linear temporal logic;
- computation tree logic;
- treewidth;
- pathwidth;
- temporal depth;
- post's lattice;
20.Quantified Constraint Satisfaction Problem on Semicomplete Digraphs

机译：半完全有向图的量化约束满足问题
- 作者：Dapic Petar;Markovic Petar;Martin Barnaby
- 期刊名称：《ACM transactions on computational logic》 | 2017年第1期
- Quantified constraints;
- complexity;
- polymorphism;
- semicomplete digraphs;
21.Equations, Contractions, and Unique Solutions

机译：方程，收缩和唯一解
- 作者：Sangiorgi Davide
- 期刊名称：《ACM transactions on computational logic》 | 2017年第1期
- Bisimulation;
- coinduction;
- contraction;
- equations;
- unique solution;
22.Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing

机译：抽象程序切片：基于抽象解释的程序切片方法
- 作者：Mastroeni Isabella;Zanardini Damiano
- 期刊名称：《ACM transactions on computational logic》 | 2017年第1期
- Program slicing;
- semantics;
- static analysis;
- abstract interpretation;
23.An O (mlog n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

机译：一种O（mlog n）算法，用于计算口吃等效和分支双仿真
- 作者：Groote Jan Friso;Jansen David N.;Keiren Jeroen J. A.;Wijs Anton J.
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Branching bisimulation;
- algorithm;
24.Possibilistic Justification Logic: Reasoning About Justified Uncertain Beliefs

机译：可能的证明逻辑：关于证明不确定的信念的推理
- 作者：Su Che-Ping;Fan Tuan-Fang;Liau Churn-Jung
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Justification logic;
- modal logic;
- possibilistic logic;
- realization theorem;
25.Expressiveness of Logic Programs under the General Stable Model Semantics

机译：一般稳定模型语义学下逻辑程序的表现力
- 作者：Zhang Heng;Zhang Yan
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Languages;
- Theory;
- Answer set programming;
- expressiveness;
- complexity;
- nonmonotonic reasoning;
- second-order logic;
26.Faster Statistical Model Checking for Unbounded Temporal Properties

机译：无限时间属性的更快统计模型检查
- 作者：Daca Przemyslaw;Henzinger Thomas A.;Kretinsky Jan;Petrov Tatjana
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Markov chains;
- mean payoff;
- simulation;
- statistical model checking;
- temporal logic;
27.The NP Search Problems of Frege and Extended Frege Proofs

机译：弗雷格和扩展弗雷格证明的NP搜索问题
- 作者：Beckmann Arnold;Buss Sam
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Bounded arithmetic;
- Frege proofs;
- extended Frege proofs;
- NP search problems;
- propositional logic;
- total functions;
- proof complexity;
28.Automated Generation of Erotetic Search Scenarios: Classification, Optimization, and Knowledge Extraction

机译：自动生成色情搜索场景：分类，优化和知识提取
- 作者：Chlebowski Szymon;Komosinski Maciej;Kups Adam
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Logic of questions;
- optimal erotetic scenario;
- multicriteria analysis;
- rule mining;
- knowledge extraction;
29.Progression of Decomposed Local-Effect Action Theories

机译：分解的局部作用理论的发展
- 作者：Ponomaryov Denis;Soutchanski Mikhail
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Reasoning about actions;
- progression;
- forgetting;
- decomposition;
- inseparability;
30.Graph Logics with Rational Relations: The Role of Word Combinatorics

机译：具有逻辑关系的图逻辑：词组合的作用
- 作者：Barcelo Pablo;Munoz Pablo
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Algorithms;
- Languages;
- Theory;
- Complexity of evaluation;
- logics for graphs;
- rational relations;
- regular path queries;
- shuffle;
- word equations;
31.Verifying Procedural Programs via Constrained Rewriting Induction

机译：通过约束重写归纳验证程序程序
- 作者：Fuhs Carsten;Kop Cynthia;Nishida Naoki
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
- Constrained term rewriting;
- inductive theorem proving;
- rewriting induction;
- lemma generation;
- program analysis;
32.Uniqueness of Normal Forms for Shallow Term Rewrite Systems

机译：浅术语重写系统的范式的唯一性
- 作者：Radcliffe Nicholas R.;Moraes Luis F. T.;Verma Rakesh M.
- 期刊名称：《ACM transactions on computational logic》 | 2017年第2期
33.Differential Hybrid Games

机译：差分混合游戏
- 作者：Platzer Andre
- 期刊名称：《ACM transactions on computational logic》 | 2017年第3期
34.The Logical View on Continuous Petri Nets

机译：连续Petri网的逻辑观点
- 作者：Blondin Michael;Finkel Alain;Haase Christoph;Haddad Serge
- 期刊名称：《ACM transactions on computational logic》 | 2017年第3期
- Petri nets;
- vector addition systems;
- coverability;
- arithmetic theories;
- linear programming;
35.Horn Fragments of the Halpern-Shoham Interval Temporal Logic

机译：Halpern-Shoham间隔时间逻辑的角碎片
- 作者：Bresolin Davide;Kurucz Agi;Munoz-Velasco Emilio;Ryzhikov Vladislav;Sciavicco Guido;Zakharyaschev Michael
- 期刊名称：《ACM transactions on computational logic》 | 2017年第3期
- Temporal logic;
- modal logic;
- computational complexity;
36.The Probability of a Computable Output from a Random Oracle

机译：随机Oracle的可计算输出的概率
- 作者：Barmpalias George;Cenzer Douglas;Porter Christopher P.
- 期刊名称：《ACM transactions on computational logic》 | 2017年第3期
- Turing machines;
- random oracles;
- algorithmic information theory;
- probabilistic machines;
37.Monadic Second-Order Logic with Arbitrary Monadic Predicates

机译：具有任意谓词的Monadic二阶逻辑
- 作者：Fijalkow Nathanael;Paperman Charles
- 期刊名称：《ACM transactions on computational logic》 | 2017年第3期
- Automata with advice;
- monadic predicates;
- morphic predicates;
38.Collapsible Pushdown Automata and Recursion Schemes

机译：可折叠下推自动机和递归方案
- 作者：Hague Matthew;Murawski Andrzej S.;Ong C. -H. Luke;Serre Olivier
- 期刊名称：《ACM transactions on computational logic》 | 2017年第3期
- Higher-order recursion schemes;
- higher-order (collapsible) pushdown automata;
39.The Complexity of Phylogeny Constraint Satisfaction Problems

机译：系统发育约束满足问题的复杂性
- 作者：Bodirsky Manuel;Jonsson Peter;Trung Van Pham
- 期刊名称：《ACM transactions on computational logic》 | 2017年第3期
- Constraint satisfaction problems;
- computational complexity;
- phylogenetic reconstruction;
- Ramsey theory;
- model theory;
40.On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances

机译：寻找CNF公式和CSP实例的不满足子集的参数化复杂性
- 作者：De Haan Ronald;Kanj Iyad;Szeider Stefan
- 期刊名称：《ACM transactions on computational logic》 | 2017年第3期
- Parameterized complexity;
- constraint satisfaction;
- unsatisfiable subsets;
- CNF formulas;
- backbones;
41.Information Flow under Budget Constraints

机译：预算约束下的信息流
- 作者：Naumov Pavel;Tao Jia
- 期刊名称：《ACM transactions on computational logic》 | 2017年第4期
- Armstrong's axioms;
- axiomatization;
- completeness;
- budget constraints;
42.Nested Weighted Automata

机译：嵌套加权自动机
- 作者：Chatterjee Krishnendu;Henzinger Thomas A.;Otop Jan
- 期刊名称：《ACM transactions on computational logic》 | 2017年第4期
- Weighted automata;
- nested automata;
- quantitative properties;
- model measuring;
43.One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

机译：一个层次产生另一个：图解构和联合查询的复杂性分类
- 作者：Hubie Chen;Moritz Müller
- 期刊名称：《ACM transactions on computational logic》 | 2017年第4期
- Conjunctive queries;
- graph decompositions;
- homomorphisms;
- parameterized complexity;
44.Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars

机译：刚性非循环语法对有限树语言的算法压缩
- 作者：Sebastian Eberhard;Gabriel Ebner;Stefan Hetzl
- 期刊名称：《ACM transactions on computational logic》 | 2017年第4期
- Grammar-based compression;
- MaxSAT;
- finite tree languages;
45.Succinctness of Order-Invariant Logics on Depth-Bounded Structures

机译：深度有界结构上阶不变逻辑的简洁性
- 作者：Eickmeyer Kord;Elberfeld Michael;Harwath Frederik
- 期刊名称：《ACM transactions on computational logic》 | 2017年第4期
- Expressivity;
- first-order logic;
- monadic second-order logic;
- order-invariance;
- succinctness;
- tree-depth;
46.Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols

机译：用功能符号检测有限接地逻辑程序的确定类
- 作者：Calautti Marco;Greco Sergio;Trubitsyna Irina
- 期刊名称：《ACM transactions on computational logic》 | 2017年第4期
- Answer set programming;
- function symbols;
- bottom-up evaluation;
- program termination;
- computational complexity;
- stable models;
47.Managing Change in Graph-Structured Data Using Description Logics

机译：使用描述逻辑管理图形结构化数据中的更改
- 作者：Shqiponja Ahmetaj;Diego Calvanese;Magdalena Ortiz;Mantas Šimkus
- 期刊名称：《ACM transactions on computational logic》 | 2017年第4期
- Integrity constraints;
- graph-structured data;
- planning;
- static analysis;
48.An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

机译：二变量逻辑中交替层次的有效刻画
- 作者：Krebs Andreas;Straubing Howard
- 期刊名称：《ACM transactions on computational logic》 | 2017年第4期
- FO2;
- Quantifier Alternation;
- J;
- Pseudovarities;
- Identities;
49.May-Happen-in-Parallel Analysis for Actor-Based Concurrency

机译：基于Actor的并发的May-Happen-in-Parallel分析
- 作者：Albert Elvira;Flores-Montoya Antonio;Genaim Samir;Martin-Martin Enrique
- 期刊名称：《ACM transactions on computational logic》 | 2016年第2期
- Actors;
- analysis;
- concurrency;
- may-happen-in-parallel;
50.Effective Interpolation and Preservation in Guarded Logics

机译：保护逻辑中的有效插值和保留
- 作者：Benedikt Michael;Ten Cate Balder;Vanden Boom Michael
- 期刊名称：《ACM transactions on computational logic》 | 2016年第2期
- Guarded negation fragment;
- guarded fragment;
- mosaic method;
51.Model Checking Existential Logic on Partially Ordered Sets

机译：部分检验集合上存在逻辑的模型检查
- 作者：Bova Simone;Ganian Robert;Szeider Stefan
- 期刊名称：《ACM transactions on computational logic》 | 2016年第2期
- Partially ordered sets;
- model checking;
- width;
- parameterized complexity;
52.The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes

机译：确定性和非确定性单子递归方案的Hoare逻辑
- 作者：Mamouras Konstantinos
- 期刊名称：《ACM transactions on computational logic》 | 2016年第2期
53.Limiting Until in Ordered Tree Query Languages

机译：限制直到有序树查询语言
- 作者：Benedikt Michael;Ley Clemens
- 期刊名称：《ACM transactions on computational logic》 | 2016年第2期
- Trees;
- temporal logic;
- hierarchy;
- xml;
54.Belief Merging by Examples

机译：通过示例合并信念
- 作者：Liberatore Paolo
- 期刊名称：《ACM transactions on computational logic》 | 2016年第2期
- Belief merging;
- reliability estimation;
55.Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction

机译：具有两个变量且没有分离合取的分离逻辑的表达完备性
- 作者：Demri Stephane;Deters Morgan
- 期刊名称：《ACM transactions on computational logic》 | 2016年第2期
- Theory;
- Verification;
- Separation logic;
- expressive completeness;
- two-variable logics;
- undecidability;
56.A Model for Phase Transition of Random Answer-Set Programs

机译：随机答案集程序的相变模型
- 作者：Wen Lian;Wang Kewen;Shen Yi-Dong;Lin Fangzhen
- 期刊名称：《ACM transactions on computational logic》 | 2016年第3期
- Answer sets;
- random logic programs;
- phase transition;
57.Belief Merging within Fragments of Propositional Logic

机译：信念在命题逻辑片段中的融合
- 作者：Creignou Nadia;Papini Odile;Ruemmele Stefan;Woltran Stefan
- 期刊名称：《ACM transactions on computational logic》 | 2016年第3期
- Belief merging;
- model-based operators;
- distance-based operators;
- postulates;
58.Correctness and Completeness of Logic Programs

机译：逻辑程序的正确性和完整性
- 作者：Drabent Wlodzimierz
- 期刊名称：《ACM transactions on computational logic》 | 2016年第3期
59.Narrow Proofs May Be Maximally Long

机译：窄证明可能最长
- 作者：Atserias Albert;Lauria Massimo;Nordstrom Jakob
- 期刊名称：《ACM transactions on computational logic》 | 2016年第3期
- Proof complexity;
- resolution;
- width;
- polynomial calculus;
- polynomial calculus resolution;
- PCR;
- Sherali-Adams;
- SAR;
- degree;
60.Zeno, Hercules, and the Hydra: Safety Metric Temporal Logic is ACKERMANN-Complete

机译：芝诺（Zeno），大力神（Hercules）和九头蛇（Hydra）：安全度量时态逻辑完全由阿克曼（ACKERMANN）完成
- 作者：Lazic Ranko;Ouaknine Joel;Worrell James
- 期刊名称：《ACM transactions on computational logic》 | 2016年第3期
- Algorithms;
- Theory;
- Verification;
- Metric temporal logic;
- channel machines;
- complexity hierarchies;
61.Power and Limits of Structural Display Rules

机译：结构显示规则的功能和限制
- 作者：Ciabattoni Agata;Ramanayake Revantha
- 期刊名称：《ACM transactions on computational logic》 | 2016年第3期
- Proof theory;
- display calculus;
- structural rules;
- display theorem;
62.Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency

机译：卷积作为统一概念：在分离逻辑，区间计算和并发中的应用
- 作者：Dongol Brijesh;Hayes Ian J.;Struth Georg
- 期刊名称：《ACM transactions on computational logic》 | 2016年第3期
- Algorithms;
- Languages;
- Theory;
- Verification;
- Concurrency;
- convolution;
- formal power series;
- formal semantics;
- Hoare logics;
- interval logics;
- quantales;
- semigroups;
- separation logics;
- systems verification;
63.Rational Region-Based Affine Logic of the Real Plane

机译：基于有理区域的实平面仿射逻辑
- 作者：Trybus Adam
- 期刊名称：《ACM transactions on computational logic》 | 2016年第3期
- Theory of Computation;
- Logic;
- Spatial logic;
- convexity;
- axiomatisation;
64.Index Problems for Game Automata

机译：游戏自动机的索引问题
- 作者：Facchini Alessandro;Murlak Filip;Skrzypczak Michal
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- Automata over infinite trees;
- alternation;
- parity games;
- Rabin-Mostowski index;
65.How Hard Is Positive Quantification?

机译：正量化有多难？
- 作者：Schubert Aleksy;Urzyczyn Pawel;Walukiewicz-Chrzaszcz Daria
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- Intuitionistic logic;
- positive quantification;
- complexity;
- automata;
66.Automated Verification of Equivalence Properties of Cryptographic Protocols

机译：自动验证密码协议的等效属性
- 作者：Chadha Rohit;Cheval Vincent;Ciobaca Stefan;Kremer Steve
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- Security;
- Verification;
67.Two-Variable Logic with Counting and Trees

机译：带有计数和树的二变量逻辑
- 作者：Charatonik Witold;Witkowski Piotr
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- Counting quantifier;
- satisfiability;
- tree;
- two-variable logic;
68.Complexity of Two-Variable Logic on Finite Trees

机译：有限树上二变量逻辑的复杂性
- 作者：Benaim Saguy;Benedikt Michael;Charatonik Witold;Kieronski Emanuel;Lenhardt Rastislav;Mazowiecki Filip;Worrell James
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- Theory;
- Trees;
- logic;
69.The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory

机译：同伦型理论中环面的等价性与两个圆的乘积
- 作者：Sojakova Kristina
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- Homotopy type theory;
- torus;
- unit circle;
- higher inductive type;
70.Where First-Order and Monadic Second-Order Logic Coincide

机译：一阶和单子二阶逻辑一致的地方
- 作者：Elberfeld Michael;Grohe Martin;Tantau Till
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- First-order logic;
- graph classes;
- guarded second-order logic;
- monadic second-order logic;
- tree depth;
71.Taming Multirelations

机译：驯服多重关系
- 作者：Furusawa Hitoshi;Struth Georg
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- Languages;
- Theory;
- Verification;
- Algebras of multirelations;
72.On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies

机译：巴黎-哈灵顿和非对角拉姆齐重言式的证明复杂性
- 作者：Carlucci Lorenzo;Galesi Nicola;Lauria Massimo
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
- Proof complexity;
- resolution;
- Ramsey's theorem;
- Paris-Harrington's principle;
73.On Well-Founded Set-Inductions and Locally Monotone Operators

机译：有理有据的集归纳和局部单调算子
- 作者：Bogaerts Bart;Vennekens Joost;Denecker Marc
- 期刊名称：《ACM transactions on computational logic》 | 2016年第4期
74.Minimizing Deterministic Lattice Automata

机译：最小化确定性格自动机
- 作者：Halamish Shulamit;Kupferman Orna
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Algorithms;
- Languages;
- Theory;
- Verification;
- Deterministic finite automata;
- minimization;
- lattice automata and languages;
75.Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions

机译：概率分布转移系统上行为关系的逻辑表征
- 作者：Crafa Silvia;Ranzato Francesco
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Languages;
- Theory;
- Verification;
- Probabilistic labeled transition systems;
- bisimulation;
- simulation;
- Hennessy-Milner logic;
76.Why Is It Hard to Obtain a Dichotomy for Consistent Query Answering?

机译：为什么很难获得一致的查询回答二分法？
- 作者：Fontaine Gaelle
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Theory;
- Languages;
- Inconsistent databases;
- consistent query answering;
- dichotomy;
- constraint satisfaction problem;
77.Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains

机译：近似Skolem问题的可判定性及其在马尔可夫链动力学特性逻辑验证中的应用
- 作者：Biscaia M.;Henriques D.;Mateus P.
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Theory;
- Verification;
- Markov chains;
- Skolem problem;
- temporal logic;
78.Parameterized Weighted Containment

机译：参数化加权遏制
- 作者：Avni Guy;Kupferman Orna
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Algorithms;
- Verification;
- Quantitative verification;
- weighted automata;
- partially specified systems;
- ellipsoid method;
79.A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases

机译：知识库中保存秘密推理的概念框架
- 作者：Tao Jia;Slutzki Giora;Honavar Vasant
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Algorithm;
- Security;
- Theory;
- Multiagents;
- secrecy-preserving reasoning;
80.The Complexity of Decomposing Modal and First-Order Theories

机译：分解模态和一阶理论的复杂性
- 作者：Goeller Stefan;Jung Jean-Christoph;Lohrey Markus
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Modal Logic;
- Model Theory;
- Modal logic;
- two-dimensional modal logic;
- Feferman-Vaught decomposition;
- Gaifman's theorem;
81.An Evaluation-Driven Decision Procedure for G3i

机译：G3i的评估驱动决策程序
- 作者：Ferrari Mauro;Fiorentini Camillo;Fiorino Guido
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Theory;
- Proof-search procedures;
- intuitionistic propositional logic;
- sequent calculi;
82.Taming Paraconsistent (and Other) Logics: An Algorithmic Approach

机译：驯服超常（和其他）逻辑：一种算法方法
- 作者：Ciabattoni Agata;Lahav Ori;Spendier Lara;Zamansky Anna
- 期刊名称：《ACM transactions on computational logic》 | 2015年第1期
- Algorithms;
- Theory;
- Nonclassical logics;
- proof theory;
- sequent calculus;
- nondeterministic matrices;
- paraconsistent logics;
83.Normal Higher-Order Termination

机译：正常的高阶终止
- 作者：Jouannaud Jean-Pierre;Rubio Albert
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Theory;
- Higher-order rewriting;
- higher-order orderings;
- higher-order patterns;
- typed lambda calculus;
84.A Confluent Rewriting System Having No Computable, One-Step, Normalizingn Strategy

机译：没有可计算的，一步式的，标准化策略的融合重写系统
- 作者：Simonsen Jakob Grue
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Theory;
- Rewriting;
- reduction strategy;
- Church-Rosser property;
- normalization;
- computability;
85.Two-Variable Separation Logic and Its Inner Circle

机译：二变量分离逻辑及其内圆
- 作者：Demri Stephane;Deters Morgan
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Theory;
- Verification;
- Separation logic;
- two-variable logics;
- interval temporal logic;
- modal logic;
- data logic;
- decidability;
- complexity;
86.Higher Homotopies in a Hierarchy of Univalent Universes

机译：单价宇宙层次中的高级同伦
- 作者：Kraus Nicolai;Sattler Christian
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Verification;
- Homotopy type theory;
- loop spaces;
- truncation levels;
- univalent universes;
87.Probabilistic Event Calculus for Event Recognition

机译：用于事件识别的概率事件演算
- 作者：Skarlatidis Anastasios;Paliouras Georgios;Artikis Alexander;Vouros George A.
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Complex Event Processing;
- Event Calculus;
- Markov Logic Networks;
- Events;
- probabilistic inference;
- machine learning;
- uncertainty;
88.Efficiently Deciding mu-Calculus with Converse over Finite Trees

机译：在有限树上有效地确定带逆的mu演算
- 作者：Geneves Pierre;Layaida Nabil;Schmitt Alan;Gesbert Nils
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Algorithms;
- Languages;
- Theory;
- Verification;
- Modal logic;
- satisfiability;
- implementation;
89.Layer Systems for Proving Confluence

机译：汇合证明层系统
- 作者：Felgenhauer Bertram;Middeldorp Aart;Zankl Harald;Van Oostrom Vincent
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Theory;
- Term rewriting;
- confluence;
- modularity;
- persistence;
90.On the Variable Hierarchy of First-Order Spectra

机译：一阶谱的可变层次
- 作者：Kopczynski Eryk;Tan Tony
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Theory;
- First-order spectra;
- bounded number of variables;
- nondeterministic exponential time;
91.Optimization Modulo Theories with Linear Rational Costs

机译：具有线性有理成本的优化模理论
- 作者：Sebastiani Roberto;Tomasi Silvia
- 期刊名称：《ACM transactions on computational logic》 | 2015年第2期
- Theory;
- Algorithms;
- Performance;
- Satisfiability modulo theories;
- automated reasoning;
- optimization;
92.Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting

机译：不确定的命题双峰逻辑和带计数的一变量一阶线性时间逻辑
- 作者：Hampson Christopher;Kurucz Agi
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- First-order linear temporal logic;
- bimodal logic;
- satisfiability problem;
93.A SAT Approach to Clique-Width

机译：SAT的集团宽度方法
- 作者：Heule Marijn J. H.;Szeider Stefan
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- Algorithms;
- Experimentation;
- Theory;
- Clique-width;
- linear clique-width;
- satisfiability;
- k-expression;
- cardinality constraint;
- SAT solver;
- SAT encoding;
94.Bounds for the Quantifier Depth in Finite-Variable Logics: Alternation Hierarchy

机译：有限变量逻辑中量词深度的界限：交替层次结构
- 作者：Berkholz Christoph;Krebs Andreas;Verbitsky Oleg
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- Theory;
- Alternation hierarchy;
- finite-variable logic;
95.Nonelementary Complexities for Branching VASS, MELL, and Extensions

机译：分支VASS，MELL和扩展的非基本复杂性
- 作者：Lazic Ranko;Schmitz Sylvain
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- Theory;
- Fast-growing complexity;
- linear logic;
- vector addition systems;
96.The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories

机译：局部宇宙模型：相依类型理论的一个被忽略的一致性构造
- 作者：Lumsdaine Peter Lefanu;Warren Michael A.
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- Languages;
- Theory;
- Categorical semantics;
- coherence theorems;
- comprehension categories;
- dependent type theory;
97.Reasoning About Substructures and Games

机译：关于子结构和游戏的推理
- 作者：Benerecetti Massimo;Mogavero Fabio;Murano Aniello
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- Theory;
- Specification;
- Verification;
- Temporal logics;
- reasoning about games;
- quantification on substructures;
98.On the Complexity of Probabilistic Abstract Argumentation Frameworks

机译：概率抽象论证框架的复杂性
- 作者：Fazzinga Bettina;Flesca Sergio;Parisi Francesco
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- Theory;
- Computational complexity;
- uncertainty;
- argumentation theory;
- probabilistic reasoning;
99.On the Power of Substitution in the Calculus of Structures

机译：论结构演算中的替代力量
- 作者：Novakovic Novak;Strassburger Lutz
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- Theory;
- Calculus of structures;
- classical logic;
- deep inference;
- extension;
- Frege systems;
- proof complexity;
- substitution;
100.Computational Complexity Via Finite Types

机译：通过有限类型的计算复杂度
- 作者：Asperti Andrea
- 期刊名称：《ACM transactions on computational logic》 | 2015年第3期
- Theory;
- Finite types;
- System T;
- higher-order primitive recursion;
- complexity classes;
- memoization;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号