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

Onderzoeksoutput: Boek/rapport › Rapport › Academic

Originele taal-2	Engels
Plaats van productie	Amsterdam
Uitgeverij	Centrum voor Wiskunde en Informatica
Aantal pagina's	19
Status	Gepubliceerd - 2005

Naam	CWI report. SEN-R : software engineering
Volume	0509
ISSN van geprinte versie	1386-369X

Andere bestanden en links

@book{cc564e8a98b24d6f94218bf28f5440d0,

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

author = "\{Pol, van de\}, J.C. and O. Tveretina",

year = "2005",

language = "English",

series = "CWI report. SEN-R : software engineering",

publisher = "Centrum voor Wiskunde en Informatica",

}

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 -