Back to Search
Start Over
Zero, Sucessor and Equality in BDDs
- Source :
- Annals of Pure and Applied Logic, pp. 101-123
- Publication Year :
- 2005
Details
- Database :
- OAIster
- Journal :
- Annals of Pure and Applied Logic, pp. 101-123
- Notes :
- application/pdf, English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1251890508
- Document Type :
- Electronic Resource
- Full Text :
- https://doi.org/10.1016.j.apal.2004.10.005