Fundamenta Informaticae is an international journal publishing original research results in all areas of mathematical foundations of computer science and their applications. Besides traditional disciplines of interest for computer science, such as mathematical theories of programs and programming, logic in computer science and artificial intelligence, theory of computing, complexity theory, design and analysis of algorithms, theory of formal languages and automata theory, concurrency, cellular automata, database theory, logic programming, nonmonotonic reasoning, parallel algorithms, term rewriting,... Read more