Equational binary decision diagrams

Additional Metadata
MSC	Models of computation (Turing machines, etc.) (msc 68Q05)
Publisher	Springer
Series	Lecture Notes in Artificial Intelligence
Conference	International Conference on Logic for Programming and Automated Reasoning
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Groote, J. F., & van de Pol, J. (2000). Equational binary decision diagrams. In Logic for Programming and Automated Reasoning (pp. 161–178). Springer.

See Also
techReport Equational binary decision diagrams J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)
techReport Equational binary decision diagrams J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

Publication