Languages
Kanazawa, Makoto.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
by:
(1998 :); Kanazawa, Makoto.; Ono, Hiroakira.; Queiroz, Ruy de.; SpringerLink (Online service)
(Electronic resources)
The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(1998 :); Kanazawa, Makoto.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Mathematics of Computing.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Mathematical linguistics
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.