A BDD-Representation for the Logic of Equality and Uninterpreted Functions

van de Pol, Jaco and Tveretina, Olga (2005) A BDD-Representation for the Logic of Equality and Uninterpreted Functions. Springer Nature Link.
Copy
Item Type Other
Date Deposited 29 May 2025 09:05
Last Modified 29 May 2025 09:05

Explore Further

Full text not available from this repository.

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads