首页>外文会议>International workshop on logic, language, information and computation

International workshop on logic, language, information and computation

召开年：2013
召开地：Darmstadt(DE)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Logic and Agent Programming Languages

机译：逻辑和代理编程语言
- 作者：Natasha Alechina
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
2.Natural Models of Homotopy Type Theory (Abstract)

机译：同伦类型理论的自然模型（摘要）
- 作者：Steve Awodey
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
3.Modelling Infinite Structures with Atoms

机译：用原子建模无限结构
- 作者：Mikolaj Bojanczyk
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
4.Counting in SPARQL Property Paths: Perspectives from Theory and Practice

机译：SPARQL属性路径中的计数：理论和实践的视角
- 作者：Wim Martens
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
5.Quantitative Approaches to Information Protection

机译：量化信息保护方法
- 作者：Catuscia Palamidessi
- 会议名称：《》 | 2013年
6.Perspectives of Dynamic Complexity

机译：动态复杂性的观点
- 作者：Thomas Schwentick
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
7.Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach

机译：N图的线性时间证明验证：一种图论方法
- 作者：Lais Andrade;Ruan Carvalho;Anjolina de Oliveira;Ruy de Queiroz
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
- automatic proof-checking;
- natural deduction;
- classical logic;
- linear logic;
- MLL~-;
- N-Graphs;
- graph theory;
- dfs;
8.First Order Extensions of Residue Classes and Uniform Circuit Complexity

机译：残留物类别的一阶扩展和均匀的电路复杂性
- 作者：Argimiro Arratia;Carlos E. Ortiz
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
9.Quantum Probabilistic Dyadic Second-Order Logic

机译：量子概率二阶二阶逻辑
- 作者：Alexandria Baltag;Jort M. Bergfeld;Kohei Kishida;Joshua Sack;Sonja J.L. Smets;Shengyang Zhong
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
10.Structural Extensions of Display Calculi: A General Recipe

机译：显示结石的结构扩展：一般食谱
- 作者：Agata Ciabattoni;Revantha Ramanayake
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
11.The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic

机译：相同，相似还是完全不同？逻辑论证的对等
- 作者：Sjur Kristoffer Dyrkolbotn
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
12.Boolean Dependence Logic and Partially-Ordered Connectives

机译：布尔相关逻辑和部分有序连接词
- 作者：Johannes Ebbing;Lauri Hella;Peter Lohmann;Jonni Virtema
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
- Dependence Logic;
- Partially-Ordered Connectives;
- Expressivity;
- Existential Second-Order Logic;
13.Extended Modal Dependence Logic εMDL

机译：扩展模态依赖逻辑εMDL
- 作者：Johannes Ebbing;Lauri Hella;Arne Meier;Julian-Steffen Mueller;Jonni Virtema;Heribert Vollmer
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
14.Dependence Logic with Generalized Quantifiers: Axiomatizations

机译：广义量词的依存逻辑：公理化
- 作者：Fredrik Engstroem;Juha Kontinen;Jouko Vaeaenaenen
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
15.Continuous Truth Ⅱ: Reflections

机译：连续真理Ⅱ：反思
- 作者：Michael P. Fourman
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
- sheaf model;
- logic;
- intuitionism;
- predicative;
- analysis;
- topos;
16.A Simple Separation Logic

机译：一个简单的分离逻辑
- 作者：Andreas Herzig
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
17.Independence in Database Relations

机译：数据库关系独立性
- 作者：Juha Kontinen;Sebastian Link;Jouko Vaeaenaenen
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
18.Substructural Logic of Proofs

机译：证明的子结构逻辑
- 作者：Hidenori Kurokawa;Hirohiko Kushida
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
19.Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics

机译：完整的Lambek Hyperdoctrine：一阶子结构逻辑的分类语义学
- 作者：Yoshihiro Maruyama
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
20.A Finite Model Property for Goedel Modal Logics

机译：Goedel模态逻辑的有限模型属性
- 作者：Xavier Caicedo;George Metcalfe;Ricardo Rodriguez;Jonas Rogger
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
21.Model Checking for Modal Dependence Logic: An Approach through Post's Lattice

机译：模态依存逻辑的模型检查：一种通过Post的格子的方法
- 作者：Julian-Steffen Mueller;Heribert Vollmer
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
22.Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL

机译：Ockhamist命题动态逻辑：PDL与CTL之间的自然联系
- 作者：Philippe Balbiani;Emiliano Lorini
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
23.Information, Awareness and Substructural Logics

机译：信息，意识和子结构逻辑
- 作者：Igor Sedlar
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年
- Awareness;
- Epistemic Actions;
- Epistemic Logic;
- Information;
- Substructural Logic;
24.Preface

机译：前言
- 作者：Leonid Libkin;Ulrich Kohlenbach;Ruy de Queiroz
- 会议名称：《International workshop on logic, language, information and computation》 | 2013年