Volume 48; Issue 3

Acta Informatica

Volume 48; Issue 3
1

One-sided random context grammars

Alexander Meduna, Petr Zemek
Journal:
Acta Informatica
Année:
2011
Langue:
english
Fichier:
PDF, 199 KB
english, 2011
2

Refined typing to localize the impact of forced strictness on free theorems

Daniel Seidel, Janis Voigtländer
Journal:
Acta Informatica
Année:
2011
Langue:
english
Fichier:
PDF, 1.10 MB
english, 2011
3

MAT learners for tree series: an abstract data type and two realizations

Frank Drewes, Johanna Högberg, Andreas Maletti
Journal:
Acta Informatica
Année:
2011
Langue:
english
Fichier:
PDF, 525 KB
english, 2011