Items related to Logic and Its Applications: 7th Indian Conference,...
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2016
- ISBN 10 3662540703
- ISBN 13 9783662540701
- BindingPaperback
- LanguageEnglish
- Number of pages252
- EditorGhosh Sujata, Prasad Sanjiva
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
