Väänänen, Jouko.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
SpringerLink (Online service); Hirvonen, Åsa.; Väänänen, Jouko.; de Queiroz, Ruy.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependence Logic = Theory and Applications /
by:
Kontinen, Juha.; Vollmer, Heribert.; Väänänen, Jouko.; Abramsky, Samson.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer science—Mathematics.
Computer logic.
Artificial Intelligence.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Logic.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Algorithms.
Logics and Meanings of Programs.