Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logic, Language, Information, and Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation: 22nd International Workshop, Wollic 2015, Bloomington, In, Usa, July 20-23, 2015, Proceedings

De Paiva, Valeria
De Queiroz, Ruy
Moss, Lawrence S.

Paperback

FictionGeneral Computers

ISBN10: 3662477084
ISBN13: 9783662477083
Publisher: Springer
Published: Jul 7 2015
Pages: 201
Weight: 0.70
Height: 0.47 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Fiction

View All