首页>外文会议>International Workshop on Logic, Language, Information and Computation

International Workshop on Logic, Language, Information and Computation

召开年：2019
召开地：Utrecht(NL)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A Multi-type Calculus for Inquisitive Logic

机译：好奇逻辑的多型微积分
- 作者：Sabine Frittella;Giuseppe Greco;Alessandra Palmigiano;Fan Yang
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
2.Cut Elimination for Godel Logic with an Operator Adding a Constant

机译：用操作员添加云逻辑的消除消除
- 作者：Juan P. Aguilera;Matthias Baaz
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
- Godel logic;
- Cut elimination;
- Calculus of relations;
3.On the Complexity of the Equational Theory of Residuated Boolean Algebras

机译：论剩余布尔代数等实际理论的复杂性
- 作者：Zhe Lin;Minghui Ma
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
4.Characterizing Relative Frame Definability in Team Semantics via the Universal Modality

机译：通过通用模态表征团队语义中的相对帧可定定性
- 作者：Katsuhiko Sano;Jonni Virtema
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
5.Semantic Equivalence of Graph Polynomials Definable in Second Order Logic

机译：曲线图多项式的语义等价可定义在二阶逻辑中可定义
- 作者：Johann A. Makowsky;Elena V. Ravve
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
6.Compactness in Infinitary Godel Logics

机译：紧凑型在无限奖勋爵逻辑中
- 作者：Juan P. Aguilera
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
- Godel logic;
- Infinitary logic;
- Compactness;
7.Anaphors and Quantifiers

机译：一个阴道和量词
- 作者：R. Zuber
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
8.A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits

机译：恒定深度算术电路的模型 - 理论表征
- 作者：Anselm Haak;Heribert Vollmer
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
9.Descriptive Complexity of Graph Spectra

机译：图谱的描述性复杂性
- 作者：Anuj Dawar;Simone Severini;Octavio Zapata
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
- Descriptive complexity;
- Algebraic graph theory;
- Isomorphism approximations;
10.A Classical Propositional Logic for Reasoning About Reversible Logic Circuits

机译：一种古典命题逻辑，用于推理可逆逻辑电路
- 作者：Holger Bock Axelsen;Robert Gluck;Robin Kaarsgaard
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
11.Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited

机译：重新判断依赖与独立逻辑的否定和部分公理
- 作者：Fan Yang
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
12.Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints

机译：用于联合查询的语义无循环性：近似和约束
- 作者：Pablo Barcelo
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
13.On the Formalization of Some Results of Context-Free Language Theory

机译：论无背景语言理论的一些结果的形式化
- 作者：Marcus Vinicius Midena Ramos;Ruy J. G. B. de Queiroz;Nelma Moreira;Jose Carlos Bacelar Almeida
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
- Context-free language theory;
- Language closure;
- Grammar simplification;
- Chomsky Normal Form;
- Pumping Lemma;
- Formalization;
- Coq;
14.The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus

机译：有用的妈妈，合理地实现强λ-微积分
- 作者：Beniamino Accattoli
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
15.A Curry-Howard View of Basic Justification Logic

机译：基本原理逻辑的咖喱霍华德视图
- 作者：Konstantinos Pouliasis
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
16.The Expressive Power of k-ary Exclusion Logic

机译：k-ary排除逻辑的表达力量
- 作者：Raine Ronnholm
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
17.A Logical Approach to Context-Specific Independence

机译：特定于情境独立性的逻辑方法
- 作者：Jukka Corander;Antti Hyttinen;Juha Kontinen;Johan Pensar;Jouko Vaananen
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
18.Justified Belief and the Topology of Evidence

机译：证明的证据和证据拓扑
- 作者：Alexandru Baltag;Nick Bezhanishvili;Aybuke Ozgun;Sonja Smets
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
19.True Concurrency of Deep Inference Proofs

机译：深度推理证明的真正并发性
- 作者：Ozan Kahramanogullari
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
20.The Semantics of Corrections

机译：修正的语义
- 作者：Deniz Rudin;Karl DeVries;Karen Duek;Kelsey Kraus;Adrian Brasoveanu
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年
21.Sheaves of Metric Structures

机译：公制结构的滑轮
- 作者：Maicol A. Ochoa;Andres Villaveces
- 会议名称：《International Workshop on Logic, Language, Information and Computation》 | 2016年