TY  - SER
AU  - Fernau,Henning
AU  - Baier,Christel
AU  - Olderog,Ernst-Rüdiger
ED  - SpringerLink (Online service)
TI  - Acta Informatica
SN  - 1432-0525
CY  - Berlin/Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer.
KW  - Computer science
KW  - Computer engineering
KW  - Computer networks 
KW  - Software engineering
KW  - Data structures (Computer science)
KW  - Information theory
KW  - Computer Science Logic and Foundations of Programming
KW  - Computer Engineering and Networks
KW  - Software Engineering
KW  - Data Structures and Information Theory
KW  - Theory of Computation
N2  - 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.
UR  - https://doi.org/10.1007/236.1432-0525
ER  -