Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Ghosh, Sujata. (Editor ), Prasad, Sanjiva. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10119
Materias:	Mathematical logic. Computer logic. Artificial intelligence. Algorithms. Computer simulation. Software engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence. Algorithm Analysis and Problem Complexity. Simulation and Modeling. Software Engineering.

Tabla de Contenidos:

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 Bü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.

Ejemplares similares