LEADER 00000nam a22005415i 4500 
001    978-3-662-44145-9 
003    DE-He213 
005    20151030071315.0 
007    cr nn 008mamaa 
008    140823s2014    gw      s    |||| 0|eng d 
020    9783662441459|9978-3-662-44145-9 
024 7  10.1007/978-3-662-44145-9|2doi 
040    |dES-ZaU 
072  7 UYA|2bicssc 
072  7 MAT018000|2bisacsh 
072  7 COM051010|2bisacsh 
082 04 005.131|223 
245 00 Logic, Language, Information, and Computation|h[electronic
       resource] :|b21st International Workshop, WoLLIC 2014, 
       Valparaíso, Chile, September 1-4, 2014. Proceedings /
       |cedited by Ulrich Kohlenbach, Pablo Barceló, Ruy de 
       Queiroz. 
264  1 Berlin, Heidelberg :|bSpringer Berlin Heidelberg :
       |bImprint: Springer,|c2014. 
300    XX, 237 p. 17 illus.|bonline resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
490 1  Lecture Notes in Computer Science,|x0302-9743 ;|v8652 
490 0  Springer eBooks.|aComputer Science 
505 0  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. 
520    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. 
650  0 Computer science. 
650  0 Algorithms. 
650  0 Mathematical logic. 
650  0 Computer science|xMathematics. 
650  0 Artificial intelligence. 
650 14 Computer Science. 
650 24 Mathematical Logic and Formal Languages. 
650 24 Artificial Intelligence (incl. Robotics). 
650 24 Symbolic and Algebraic Manipulation. 
650 24 Algorithm Analysis and Problem Complexity. 
700 1  Kohlenbach, Ulrich.,|eeditor. 
700 1  Barceló, Pablo.,|eeditor. 
700 1  Queiroz, Ruy de.,|eeditor. 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
776 08 |iPrinted edition:|z9783662441442 
830  0 Lecture Notes in Computer Science,|x0302-9743 ;|v8652 
856 40 |uhttps://cuarzo.unizar.es:9443/login?url=https://
       dx.doi.org/10.1007/978-3-662-44145-9|zAcceso al texto 
       completo