- UHRA Home
- University of Hertfordshire
- Browsing University of Hertfordshire by Author
Browsing University of Hertfordshire by Author "Jedrzejowicz, Joanna"
Now showing items 1-1 of 1
-
A BDD-Representation for the Logic of Equality and Uninterpreted Functions
van de Pol, Jaco; Tveretina, Olga (Springer Nature, 2005)