Binary decision diagrams by shared rewriting

W.L. van der Pol, H. Zantema

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht, The Netherlands
PublisherUtrecht University: Information and Computing Sciences
Volume2000-06
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 2000

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this