Toggle navigation
Toggle navigation
University of Hertfordshire Research Archive
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse
All of UHRA
By Issue Date
Authors
Titles
This Collection
By Issue Date
Authors
Titles
Arkivum Files
My Downloads
View Item
UHRA Home
University of Hertfordshire
Research publications
View Item
UHRA Home
University of Hertfordshire
Research publications
View Item
A BDD-Representation for the Logic of Equality and Uninterpreted Functions
Author
van de Pol, Jaco
Tveretina, Olga
Attention
2299/15196
Publication date
2005
Published in
Mathematical Foundations of Computer Science 2005
Other links
http://hdl.handle.net/2299/15196
Metadata
Show full item record