Chapter 4: A Purely Functional Implementation of ROBDDs in Haskell.
Saved in:
| Title: | Chapter 4: A Purely Functional Implementation of ROBDDs in Haskell. |
|---|---|
| Authors: | Christiansen, Jan1, jac@informatik.uni-kiel.de, Huch, Frank1, fhu@informatik.uni-kiel.de |
| Source: | Trends in Functional Programming Volume 7; 2007, Vol. 7, p55-71, 17p |
| Database: | Applied Science & Technology Source |
| ISBN: | 9781841501888 |
|---|
