Logic, Language, Information, and Computation [[electronic resource] ] : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / / edited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XX, 237 p. 17 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Artificial intelligence Computer science—Mathematics Algorithms Formal Languages and Automata Theory Artificial Intelligence Symbolic and Algebraic Manipulation |
ISBN | 3-662-44145-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996202528603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic, Language, Information, and Computation [[electronic resource] ] : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings / / edited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XX, 237 p. 17 illus.) |
Disciplina | 511.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Artificial intelligence Computer science—Mathematics Algorithms Formal Languages and Automata Theory Artificial Intelligence Symbolic and Algebraic Manipulation |
ISBN | 3-662-44145-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910483178203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|