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.

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

Downloads