Articles liés à Logic and Its Applications: 7th Indian Conference,...
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2016
- ISBN 10 3662540703
- ISBN 13 9783662540701
- ReliureTapa blanda
- Langueanglais
- Nombre de pages252
- ÉditeurGhosh Sujata, Prasad Sanjiva
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
