Skip to main content
Top

Acta Informatica

Issue 5/2016

Content (4 Articles)

Original Article

Optimal covers in the relational database model

Xiaoning Peng, Zhijun Xiao

Open Access Original Article

Concurrent abstract state machines

Egon Börger, Klaus-Dieter Schewe

Original Article

A linear-time algorithm for the orbit problem over cyclic groups

Anthony W. Lin, Sanming Zhou

Original Article

On reversible Turing machines and their function universality

Holger Bock Axelsen, Robert Glück

Premium Partner