A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)

J.C. Pol, van de, O. Tveretina

Research output: Book/Report › Report › Academic

Original language	English
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Number of pages	19
Publication status	Published - 2005

Name	CWI report. SEN-R : software engineering
Volume	0509
ISSN (Print)	1386-369X

Cite this

TY - BOOK

T1 - A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)

AU - Pol, van de, J.C.

AU - Tveretina, O.

PY - 2005

Y1 - 2005

UR - http://oai.cwi.nl/oai/asset/10947/10947D.pdf

M3 - Report

T3 - CWI report. SEN-R : software engineering

BT - A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -