Bischof, Christian; Hovland, Paul D.; Norris, Boyana
Dordrecht [u.a.] : Kluwer Acad. Publ. (2008)
Journal Article
In: Higher-order and symbolic computation
Volume: 21
Issue: 3
Page(s)/Article-Nr.: 311-331
Institutions
- Chair of High Performance Computing (Computer Science 12) [123010]
- Department of Computer Science [120000]