Description
Logic, Language, Information, and Computation, 1st ed. 2017
24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Theoretical Computer Science and General Issues Series
Coordinators: Kennedy Juliette, de Queiroz Ruy J.G.B.
Language: EnglishSubject for Logic, Language, Information, and Computation:
Keywords
agents; applied computing; artificial intelligence; complexity theory; cut elimination; finite element method; formal logic; foundations; language; linear feedback; modal logic; proof theory; problem solving; semantics; shift registers; substructural logics; theory of computation; algorithm analysis and problem complexity
Support: Print on demand
Description
/li>Contents
/li>Comment
/li>
Logic and Language.- Logic and Information.- Computation.- Mathematical Logic.- Theory of Computation.- Model Theory. - Proof Theory.- Type Theory. Computability Theory. - Complexity Theory