Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings / Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.).
Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile); Kohlenbach, U. (Ulrich), editor.; Barceló, Pablo, editor.; Queiroz, Ruy J. G. B. de, editor.
2014
QA9.A1
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings / Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.).
Meeting Name Workshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile)
ISBN 9783662441459 (electronic book)
3662441454 (electronic book)
9783662441442
DOI https://doi.org/10.1007/978-3-662-44145-9
Published Heidelberg : Springer, [2014]
Language English
Description 1 online resource (xx, 236 pages) : illustrations.
Item Number 10.1007/978-3-662-44145-9 doi
Call Number QA9.A1
Dewey Decimal Classification 005.131
Summary Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.
Note International conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Kohlenbach, U. (Ulrich), editor.
Barceló, Pablo, editor.
Queiroz, Ruy J. G. B. de, editor.
Series Lecture notes in computer science ; 8652.
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Logic, language, information, and computation
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
On Normal Numbers
Dependence Logic
Syntax and Semantics for Translation
Intersection types for normalization and verification
Quantum State Transformations and Branching Distributed Temporal Logic
Backward deterministic Büchi automata
Deniability for Downward and Vertical XPath on Data Trees
On the value of variables
Logics with Copy and Remove
Unranked Second-Order Anti-Unification
Reinstatement and the requirement of maximal specificity in argument Systems
Sequentialization for N-Graphs via Sub-N-Graphs
Interrogative dependencies and the constructive content of inquisitive Proofs
Modal logics of uncertainty with two layer-syntax: a general completeness theorem
Ancestral Logic: a Proof Theoretical Study
A Calculus of Anyons
Theorems on Pre-Fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars
Common Knowledge Semantics of Armstrong's Axioms
On Distributed Stochastic Logics for Mobile Systems
On the Construction of Analytic Sequent Calculi for Sub-classical Logics
On the Broader Epistemological Significance of Self-Justifying Axiom Systems.

Browse Subjects

Show more subjects...

Statistics

from
to
Export