Normal view MARC view ISBD view

Acta Informatica [electronic resource] / edited by Henning Fernau, Christel Baier, Ernst-Rüdiger Olderog. - online resource.

Acta Informatica is publishing original papers in all areas covering the mathematical foundations of Computer Science. We solicit both research papers, survey articles and shorter contributions (notes). Topics include theoretical aspects of the following items [notice that you will get a refined list when clicking on these items]. Algorithms and their analysis Automata and formal languages Computability and complexity Data handling Discrete Mathematics Logic (in Computer Science) Mathematical foundations of Artificial Intelligence Programming language theory Security Systems theory Verification This includes also modern topics like Quantum Computing. .

ISSN: 1432-0525 = Acta Informatica

Standard No.: 10.1007/236.1432-0525 doi

Subjects--Topical Terms:
Computer science.
Computer engineering.
Computer networks .
Software engineering.
Data structures (Computer science).
Information theory.
Computer science.
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Software Engineering.
Data Structures and Information Theory.
Theory of Computation.