Georg-August Universität Göttingen, Institut für Informatik, Arbeitsgruppe Grundlagen der Informatik, Goldschmidtstraße 7, 37077 Göttingen, Germany.
e-mail: florin.manea(at)informatik(dot)uni-goettingen(dot)de
Georg-August Universität Göttingen, Institut für Informatik, Arbeitsgruppe Theoretische Informatik, Goldschmidtstraße 7, 37077 Göttingen, Germany.