Skip to main content

Acta Informatica

Ausgabe 3/2018

Inhalt (3 Artikel)

Original Article

The complexity of counting models of linear-time temporal logic

Hazem Torfah, Martin Zimmermann

Original Article

Big data interpolation using functional representation

Hadassa Daltrophe, Shlomi Dolev, Zvi Lotker

Original Article

Generalized contexts for reaction systems: definition and study of dynamic causalities

Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo