000770970 000__ 04364cam\a2200553Ii\4500
000770970 001__ 770970
000770970 005__ 20230306142427.0
000770970 006__ m\\\\\o\\d\\\\\\\\
000770970 007__ cr\un\nnnunnun
000770970 008__ 140828s2014\\\\gw\a\\\\ob\\\\101\0\eng\d
000770970 020__ $$a9783662441459$$q(electronic book)
000770970 020__ $$a3662441454$$q(electronic book)
000770970 020__ $$z9783662441442
000770970 0247_ $$a10.1007/978-3-662-44145-9$$2doi
000770970 035__ $$aSP(OCoLC)ocn889435022
000770970 035__ $$aSP(OCoLC)889435022
000770970 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dUPM$$dCOO$$dVT2$$dOCLCF$$dOCL$$dOCLCO$$dOCLCQ$$dUAB
000770970 049__ $$aISEA
000770970 050_4 $$aQA9.A1
000770970 08204 $$a005.131$$223
000770970 1112_ $$aWorkshop on Logic, Language, Information and Computation$$n(21st :$$d2014 :$$cValparaíso, Chile)
000770970 24510 $$aLogic, language, information, and computation :$$b21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings /$$cUlrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.).
000770970 264_1 $$aHeidelberg :$$bSpringer,$$c[2014]
000770970 300__ $$a1 online resource (xx, 236 pages) :$$billustrations.
000770970 336__ $$atext$$btxt$$2rdacontent
000770970 337__ $$acomputer$$bc$$2rdamedia
000770970 338__ $$aonline resource$$bcr$$2rdacarrier
000770970 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v8652
000770970 4901_ $$aFoLLI Publications on logic, language and information
000770970 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000770970 500__ $$aInternational conference proceedings.
000770970 504__ $$aIncludes bibliographical references and author index.
000770970 5050_ $$aOn 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.
000770970 506__ $$aAccess limited to authorized users.
000770970 520__ $$aEdited 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.
000770970 588__ $$aDescription based on print version record.
000770970 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
000770970 650_0 $$aLanguage and logic$$vCongresses.
000770970 7001_ $$aKohlenbach, U.$$q(Ulrich),$$eeditor.
000770970 7001_ $$aBarceló, Pablo,$$eeditor.
000770970 7001_ $$aQueiroz, Ruy J. G. B. de,$$eeditor.
000770970 77608 $$iPrint version:$$aWorkshop on Logic, Language, Information and Computation (21st : 2014 : Valparaíso, Chile).$$tLogic, language, information, and computation$$z9783662441442$$w(OCoLC)888447572
000770970 830_0 $$aLecture notes in computer science ;$$v8652.
000770970 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.$$pFoLLI publications on logic, language and information.
000770970 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000770970 852__ $$bebk
000770970 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-44145-9$$zOnline Access$$91397441.1
000770970 909CO $$ooai:library.usi.edu:770970$$pGLOBAL_SET
000770970 980__ $$aEBOOK
000770970 980__ $$aBIB
000770970 982__ $$aEbook
000770970 983__ $$aOnline
000770970 994__ $$a92$$bISE