Logic, Language, Information and Computation
15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Editors: Hodges, Wilfrid, de Queiroz, Ruy (Eds.)
Free PreviewBuy this book
- About this book
-
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008.
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
- Table of contents (26 chapters)
-
-
Inter-deriving Semantic Artifacts for Object-Oriented Programming
Pages 1-16
-
On the Descriptive Complexity of Linear Algebra
Pages 17-25
-
Talks on Quantum Computing
Pages 26-27
-
On Game Semantics of the Affine and Intuitionistic Logics
Pages 28-42
-
The Grammar of Scope
Pages 43-43
-
Table of contents (26 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logic, Language, Information and Computation
- Book Subtitle
- 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
- Editors
-
- Wilfrid Hodges
- Ruy de Queiroz
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 5110
- Copyright
- 2008
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-69937-8
- DOI
- 10.1007/978-3-540-69937-8
- Softcover ISBN
- 978-3-540-69936-1
- Edition Number
- 1
- Number of Pages
- VIII, 313
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.
