Univ.-Prof. Dr. phil. nat. Helmut Seidl
Informatikwissenschaften, Universität Trier
Universitätsring 15, Raum: V215
- 0651/201-2835, 2824 (Sekr.)
- 0651/201-3822
Ergebnisse pro Seite:
10
Seidl, H.
Haskell overloading is DEXPTIME-completeInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 52. H. 2. Amsterdam [u.a.]: Elsevier 1994 S. 57 - 60
Ferdinand, C.; Seidl, H.; Wilhelm, R.
Tree automata for code selectionActa informatica. Bd. 31. H. 8. Berlin: Springer 1994 S. 741 - 760
Seidl, Helmut
Least solutions of equations over NSaarbrücken: Sonderforschungsbereich 124 VLSI Entwurfsmethoden und Parallelität 1993 15 S. (Preprint ; 1993,8)