DMCA

Autonomous units and their semantics -- the parallel case (2006)

Cached


by Hans-Jörg Kreowski , Sabine Kuske
Venue:RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 18TH INTERNATIONAL WORKSHOP, WADT 2006. VOLUME 4408 OF LECTURE
Citations:7 - 5 self