Equational binary decision diagrams

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Citations (Scopus)
Original languageEnglish
Title of host publicationLogic for Programming and Automated Reasoning (Proceedings 7th International Conference, LPAR2000, Reunion Island, France, November 11-12, 2000)
EditorsM. Parigot, A. Voronkov
Place of PublicationBerlin
PublisherSpringer
Pages161-178
DOIs
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
Volume1955
ISSN (Print)0302-9743

Cite this