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

International workshop on logic, language, information and computation

召开年：2015
召开地：Bloomington, IN(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Equational Properties of Stratified Least Fixed Points (Extended Abstract)

机译：分层最小不动点的方程式性质（扩展摘要）
- 作者：Zoltan Esik
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
2.The p-adic Integers as Final Coalgebra

机译：p-adic整数作为最终的代数
- 作者：Prasit Bhattacharya
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
3.Preface

机译：前言
- 作者：Valeria de Paiva;Ruy de Queiroz;Lawrence S. Moss;Daniel Leivant;Anjolina G. de Oliveira
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
4.The Word Problem for Finitely Presented Quandles is Undecidable

机译：有限呈现的量子词的词性尚不确定
- 作者：James Belk;Robert W. McGrail
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
5.Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

机译：直觉祖先逻辑作为依存类型抽象编程语言
- 作者：Liron Cohen;Robert L. Constable
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
6.On Topologically Relevant Fragments of the Logic of Linear Flows of Time

机译：时间线性流逻辑的拓扑相关片段
- 作者：Bernhard Heinemann
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
- Bi-modal logic;
- Temporal logic;
- Linear flows of time;
- Topological semantics;
- Canonical topo-model;
7.An Equation-Based Classical Logic

机译：基于方程的古典逻辑
- 作者：Andreia Mordido;Carlos Caleiro
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
- Classical logic;
- Equational logic;
- Completeness;
- Decidability;
8.Modeling Language Design for Complex Systems Simulation

机译：复杂系统仿真的建模语言设计
- 作者：Adriana Compagnoni
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
9.Formalization of Mathematics for Fun and Profit

机译：寓教于乐的数学形式化
- 作者：John Harrison
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
10.From Residuated Lattices via GBI-Algebras to BAOs

机译：从剩余格通过GBI代数到BAO
- 作者：Peter Jipsen
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
11.Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing

机译：线性逻辑循环乘证明网络及其在语言解析中的应用
- 作者：Vito Michele Abrusci;Roberto Maieli
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
- Categorial grammars;
- Cyclic orders;
- Lambek calculus;
- Language parsing;
- Linear logic;
- Non-commutative logic;
- Proof nets;
- Sequent calculus;
12.A Dichotomy Result for Ramsey Quantifiers

机译：Ramsey量词的二分法结果
- 作者：Ronald de Haan;Jakub Szymanik
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
13.Towards a Nominal Chomsky Hierarchy

机译：迈向名义上的乔姆斯基阶层
- 作者：Alexandra Silva
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
14.Multi-linear Algebraic Semantics for Natural Language

机译：自然语言的多线性代数语义
- 作者：Mehrnoosh Sadrzadeh
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
15.Categories of Games

机译：游戏类别
- 作者：Andre Joyal
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
16.Learning in the Limit, General Topology, and Modal Logic

机译：在极限，一般拓扑和模态逻辑中学习
- 作者：Nina Gierasimczuk
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
17.Parametric Polymorphism - Universally

机译：参数多态性-普遍
- 作者：Neil Ghani;Fredrik Nordvall Forsberg;Federico Orsanigo
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
18.On the Weak Index Problem for Game Automata

机译：游戏自动机的弱指标问题
- 作者：Alessandro Facchini;Filip Murlak;Michal Skrzypczak
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
19.Proof-Theoretic Aspects of the Lambek-Grishin Calculus

机译：Lambek-Grishin演算的证明理论方面
- 作者：Philippe de Groote
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
20.Syllogistic Logic with 'Most'

机译：具有“最多”的三段逻辑
- 作者：Joerg Endrullis;Lawrence S. Moss
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
21.Characterizing Frame Definability in Team Semantics via the Universal Modality

机译：通过通用模式表征团队语义中的框架可定义性
- 作者：Katsuhiko Sano;Jonni Virtema
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年
22.An Epistemic Separation Logic

机译：认知分离逻辑
- 作者：Jean-Rene Courtault;Hans van Ditmarsch;Didier Galrniche
- 会议名称：《International workshop on logic, language, information and computation》 | 2015年