Bischof, Christian; Hovland, Paul D.; Norris, Boyana
Dordrecht [u.a.] : Kluwer Acad. Publ. (2008)
Fachzeitschriftenartikel
In: Higher-order and symbolic computation
Band: 21
Heft: 3
Seite(n)/Artikel-Nr.: 311-331
Einrichtungen
- Lehrstuhl für Hochleistungsrechnen (Informatik 12) [123010]
- Fachgruppe Informatik [120000]