Acta Informatica
![]() | |
Discipline | Informatics |
---|---|
Language | English |
Edited by | Christel Baier |
Publication details | |
History | 1971–present |
Publisher | |
Frequency | 8/year |
1.000 (2016) | |
Standard abbreviations | |
ISO 4 | Acta Inform. |
Indexing | |
ISSN | 0001-5903 (print) 1432-0525 (web) |
OCLC no. | 39965310 |
Links | |
Acta Informatica is a peer-reviewed scientific journal publishing original research papers in computer science.[1]
The journal is known mostly for publications in theoretical computer science. One of the two 1988 papers awarded the Gödel Prize in 1995 has appeared in this journal.[2]
References[]
- ^ Acta Informatica, DBLP.
- ^ "1995 Gödel Prize". Sigact.org. 1999-03-25. Archived from the original on 2016-03-03. Retrieved 2012-07-26.
Categories:
- Publications established in 1971
- Springer Science+Business Media academic journals
- Computer science journals
- English-language journals
- Formal methods publications
- 8 times per year journals
- Computer science journal stubs