Equational binary decision diagrams

J.F. Groote; J.C. Pol, van de

doi:10.1007/3-540-44404-1_11

Equational binary decision diagrams

J.F. Groote, J.C. Pol, van de

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Logic for Programming and Automated Reasoning (Proceedings 7th International Conference, LPAR2000, Reunion Island, France, November 11-12, 2000)
Editors	M. Parigot, A. Voronkov
Place of Publication	Berlin
Publisher	Springer
Pages	161-178
DOIs	https://doi.org/10.1007/3-540-44404-1_11
Publication status	Published - 2000

Publication series

Name	Lecture Notes in Computer Science
Volume	1955
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-44404-1_11

Cite this

Groote, J. F., & Pol, van de, J. C. (2000). Equational binary decision diagrams. In M. Parigot, & A. Voronkov (Eds.), Logic for Programming and Automated Reasoning (Proceedings 7th International Conference, LPAR2000, Reunion Island, France, November 11-12, 2000) (pp. 161-178). (Lecture Notes in Computer Science; Vol. 1955). Springer. https://doi.org/10.1007/3-540-44404-1_11

@inproceedings{c6d4d1c555e649c5b98bff2e86e828dd,

title = "Equational binary decision diagrams",

author = "J.F. Groote and {Pol, van de}, J.C.",

year = "2000",

doi = "10.1007/3-540-44404-1_11",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "161--178",

editor = "M. Parigot and A. Voronkov",

booktitle = "Logic for Programming and Automated Reasoning (Proceedings 7th International Conference, LPAR2000, Reunion Island, France, November 11-12, 2000)",

address = "Germany",

}

Equational binary decision diagrams. / Groote, J.F.; Pol, van de, J.C.

Logic for Programming and Automated Reasoning (Proceedings 7th International Conference, LPAR2000, Reunion Island, France, November 11-12, 2000). ed. / M. Parigot; A. Voronkov. Berlin : Springer, 2000. p. 161-178 (Lecture Notes in Computer Science; Vol. 1955).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Equational binary decision diagrams

AU - Groote, J.F.

AU - Pol, van de, J.C.

PY - 2000

Y1 - 2000

U2 - 10.1007/3-540-44404-1_11

DO - 10.1007/3-540-44404-1_11

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 161

EP - 178

BT - Logic for Programming and Automated Reasoning (Proceedings 7th International Conference, LPAR2000, Reunion Island, France, November 11-12, 2000)

A2 - Parigot, M.

A2 - Voronkov, A.

PB - Springer

CY - Berlin

ER -