000			02216nas a22004095i 4500
001			1432-0525
003			DE-He213
005			20260610082454.0
007			cr nn 008mamaa
008			150723s||||||||gw uu poo|||||| b|EN |d
022			_a1432-0525
024	7		_a10.1007/236.1432-0525 _2doi
210	1	0	_aActa Informatica
245	1	0	_aActa Informatica _h[electronic resource] / _cedited by Henning Fernau, Christel Baier, Ernst-Rüdiger Olderog.
264		1	_aBerlin/Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer.
300			_bonline resource.
520			_aActa 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. .
650		0	_aComputer science.
650		0	_aComputer engineering.
650		0	_aComputer networks .
650		0	_aSoftware engineering.
650		0	_aData structures (Computer science).
650		0	_aInformation theory.
650		0	_aComputer science.
650	1	4	_aComputer Science Logic and Foundations of Programming.
650	2	4	_aComputer Engineering and Networks.
650	2	4	_aSoftware Engineering.
650	2	4	_aData Structures and Information Theory.
650	2	4	_aTheory of Computation.
700	1		_aFernau, Henning. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aBaier, Christel. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aOlderog, Ernst-Rüdiger. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
776	0	8	_iPrinted version: _x0001-5903
856	4	0	_uhttps://doi.org/10.1007/236.1432-0525 _zHybrid
999			_c1773 _d1773