Logic, Language, Information, and Computation
Editors: Ong, Luke, de Queiroz, Ruy (Eds.)
Free Preview- Fast-track conference proceedings
- State-of-the-art research
- Up-to-date results
Buy this book
- About this book
-
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics.
- Table of contents (24 chapters)
-
-
Formalizing Turing Machines
Pages 1-25
-
Equivalence Relations That Are $\Sigma^0_3$ Complete for Computable Reducibility
Pages 26-33
-
An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics
Pages 34-55
-
Admissible Rules: From Characterizations to Applications
Pages 56-69
-
On Distributed Monitoring of Asynchronous Systems
Pages 70-84
-
Table of contents (24 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logic, Language, Information, and Computation
- Editors
-
- Luke Ong
- Ruy de Queiroz
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 7456
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-32621-9
- DOI
- 10.1007/978-3-642-32621-9
- Softcover ISBN
- 978-3-642-32620-2
- Edition Number
- 2
- Number of Pages
- XII, 337
- Number of Illustrations
- 49 b/w illustrations
- 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.
