Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Theoretical Computer Science and General Issues ;
10388 |
| Subjects: |
Table of Contents:
- Logic and Language
- Logic and Information
- Computation
- Mathematical Logic
- Theory of Computation
- Model Theory. - Proof Theory
- Type Theory. Computability Theory. - Complexity Theory.