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
Coordonnateurs : Kennedy Juliette, de Queiroz Ruy J.G.B.
Logic and Language.- Logic and Information.- Computation.- Mathematical Logic.- Theory of Computation.- Model Theory. - Proof Theory.- Type Theory. Computability Theory. - Complexity Theory
Date de parution : 06-2017
Ouvrage de 401 p.
15.5x23.5 cm
Thème de Logic, Language, Information, and Computation :
Mots-clés :
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