Skip to main content

Acta Informatica

Ausgabe 5/2016

Inhalt (4 Artikel)

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