Logic and its applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. (2017)

• Record Type: Book
• Further Information: Note: Sujata Ghosh, Sanjiva Prasad (eds.).
• Editors: Ghosh, Sujata; Prasad, Sanjiva
• Other Names: ICLA (Conference : Logic), 7th
• Contents: Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public Inspection -- Random Models for Evaluating Efficient Büchi Universality Checking -- A Substructural Epistemic Resource Logic -- Deriving Natural Deduction Rules from Truth Tables -- A Semantic Analysis of Stone and dual Stone Negations with Regularity -- Achieving while maintaining: A logic of knowing how with intermediate constraints -- Peirce?s Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient Indian Logic and Analogy -- Definability of Recursive Predicates in the Induced Subgraph Order -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2017
• Extent: 1 online resource (x, 239 pages), illustrations
• Subjects: 511.3; Logic, Symbolic and mathematical -- Congresses; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Simulation and Modeling; Software Engineering; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662540695; 3662540681; 9783662540688
• Related ISBNs: 366254069X; 9783662540688
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed January 30, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.