Fundamenta Informaticae is an international journal publishing original research results in all areas of mathematical foundations of computer science and their applications. Papers are encouraged which contain: 1. solutions, by mathematical methods, of problems emerging in computer science 2. solutions of mathematical problems inspired by computer science 3. application studies that follow the situations in 1 and 2. Topics of interest include: theory of computing, complexity theory, design and analysis of algorithms, programming language theory, semantics and verification of programs, computer science logic, database theory, logic programming and automated deduction, formal languages and automata, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, data mining and knowledge discovery, machine learning and pattern recognition, algorithmic game theory, theory of multi-agent systems, bioinformatics and computational biology, natural computing, neural networks, quantum computing, soft computing including fuzzy sets, rough sets and granular computing.
Paolo Torroni (2014). Fundamenta Informaticae.
Fundamenta Informaticae
TORRONI, PAOLO
2014
Abstract
Fundamenta Informaticae is an international journal publishing original research results in all areas of mathematical foundations of computer science and their applications. Papers are encouraged which contain: 1. solutions, by mathematical methods, of problems emerging in computer science 2. solutions of mathematical problems inspired by computer science 3. application studies that follow the situations in 1 and 2. Topics of interest include: theory of computing, complexity theory, design and analysis of algorithms, programming language theory, semantics and verification of programs, computer science logic, database theory, logic programming and automated deduction, formal languages and automata, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, data mining and knowledge discovery, machine learning and pattern recognition, algorithmic game theory, theory of multi-agent systems, bioinformatics and computational biology, natural computing, neural networks, quantum computing, soft computing including fuzzy sets, rough sets and granular computing.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
