Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Title:
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Author:
de Paiva, Valeria. editor.
ISBN:
9783662477090
Edition:
1st ed. 2015.
Physical Description:
XX, 201 p. 14 illus. online resource.
Series:
Theoretical Computer Science and General Issues, 9160
Contents:
Modeling Language Design for Complex Systems Simulation -- Formalization of Mathematics for Fun and Profit -- From Residuated Lattices via GBI-algebras to BAOs -- Towards a Nominal Chomsky Hierarchy -- Multi-Linear Algebraic Semantics for Natural Language -- Categories of Games -- Learning in the limit, general topology, and modal logic -- The Word Problem for Finitely Presented Quandles is Undecidable -- Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language -- On Topologically Relevant Fragments of the Logic of Linear Flows of Time -- An Equation-Based Classical Logic -- Cyclic multiplicative proof nets of linear logic with an application to language parsing -- A Dichotomy Result for Ramsey Quantifiers -- Parametric Polymorphism { Universally -- On the weak index problem for game automata -- Proof-theoretic aspects of the Lambek-Grishin Calculus -- Syllogistic Logic with "Most" -- Characterizing Frame Definability in Team Semantics via The Universal Modality -- An Epistemic Separation Logic -- Equational properties of stratified least fixed points -- The p-adic integers as final coalgebra.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 518949-1001 XX(518949.1)
Searching...

On Order