Languages
Vaananen, Jouko.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic, language, information, and computation23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
(1998 :); Hirvonen, Asa.; Queiroz, Ruy de.; SpringerLink (Online service); Vaananen, Jouko.
(Electronic resources)
Dependence Logic :A New Approach to Independence Friendly Logic.
by:
Ebooks Corporation.; Vaananen, Jouko.
(Electronic resources)
Generalized quantifiers and computation9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
by:
(1998 :); SpringerLink (Online service); Vaananen, Jouko.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer logic
Language and logic
Computer science
Logic, Symbolic and mathematical
Computer Science.
Programming languages (Electronic Computers)
Symbolic and Algebraic Manipulation.