Binary decision diagrams by shared rewriting

Translated title of the contribution: Binary decision diagrams by shared rewriting

Research output: Book/Report › Report › Academic

Translated title of the contribution	Binary decision diagrams by shared rewriting
Original language	Undefined/Unknown
Place of Publication	Utrecht, The Netherlands
Publisher	Utrecht University: Information and Computing Sciences
Volume	2000-06
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 2000

Keywords

@book{abf65c2e4020467f844ef80cca1cffad,

title = "Binary decision diagrams by shared rewriting",

keywords = "Wiskunde en Informatica (WIIN)",

author = "\{van der Pol\}, W.L. and H. Zantema",

year = "2000",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "2000-06",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}