Equational binary decision diagrams

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

22 Citaten (Scopus)
Originele taal-2Engels
TitelLogic for Programming and Automated Reasoning (Proceedings 7th International Conference, LPAR2000, Reunion Island, France, November 11-12, 2000)
RedacteurenM. Parigot, A. Voronkov
Plaats van productieBerlin
UitgeverijSpringer
Pagina's161-178
DOI's
StatusGepubliceerd - 2000

Publicatie series

NaamLecture Notes in Computer Science
Volume1955
ISSN van geprinte versie0302-9743

Citeer dit