FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1600090894> ?p ?o ?g. }

• W1600090894 abstract "A “pairing function” J associates a unique natural number z to any two natural numbers x,y such that for two “unpairing functions” K and L, the equalities K(J(x,y))=x, L(J(x,y))=y and J(K(z),L(z))=z hold. Using pairing functions on natural number representations of truth tables, we derive an encoding for Binary Decision Diagrams with the unique property that its boolean evaluation faithfully mimics its structural conversion to a a natural number through recursive application of a matching pairing function. We then use this result to derive ranking and unranking functions for BDDs and reduced BDDs. The paper is organized as a self-contained literate Prolog program, available at http://logic.csci.unt.edu/tarau/research/2008/pBDD.zip." @default.
• W1600090894 created "2016-06-24" @default.
• W1600090894 creator A5042600106 @default.
• W1600090894 date "2008-01-01" @default.
• W1600090894 modified "2023-09-26" @default.
• W1600090894 title "Pairing Functions, Boolean Evaluation and Binary Decision Diagrams" @default.
• W1600090894 cites W1483736078 @default.
• W1600090894 cites W1511496239 @default.
• W1600090894 cites W1536596338 @default.
• W1600090894 cites W1569584939 @default.
• W1600090894 cites W1576818901 @default.
• W1600090894 cites W1864142337 @default.
• W1600090894 cites W1874338106 @default.
• W1600090894 cites W1979643447 @default.
• W1600090894 cites W2002278866 @default.
• W1600090894 cites W2005458823 @default.
• W1600090894 cites W2013824110 @default.
• W1600090894 cites W2014988510 @default.
• W1600090894 cites W2020436346 @default.
• W1600090894 cites W2031727412 @default.
• W1600090894 cites W2034098253 @default.
• W1600090894 cites W2037914042 @default.
• W1600090894 cites W2042127249 @default.
• W1600090894 cites W2057626061 @default.
• W1600090894 cites W2080267935 @default.
• W1600090894 cites W2096362687 @default.
• W1600090894 cites W2096785857 @default.
• W1600090894 cites W2121244661 @default.
• W1600090894 cites W2132699442 @default.
• W1600090894 cites W2148550253 @default.
• W1600090894 cites W2752853835 @default.
• W1600090894 cites W60092397 @default.
• W1600090894 hasPublicationYear "2008" @default.
• W1600090894 type Work @default.
• W1600090894 sameAs 1600090894 @default.
• W1600090894 citedByCount "1" @default.
• W1600090894 countsByYear W16000908942014 @default.
• W1600090894 crossrefType "journal-article" @default.
• W1600090894 hasAuthorship W1600090894A5042600106 @default.
• W1600090894 hasConcept C105795698 @default.
• W1600090894 hasConcept C11413529 @default.
• W1600090894 hasConcept C114614502 @default.
• W1600090894 hasConcept C118615104 @default.
• W1600090894 hasConcept C121332964 @default.
• W1600090894 hasConcept C14036430 @default.
• W1600090894 hasConcept C14103023 @default.
• W1600090894 hasConcept C154945302 @default.
• W1600090894 hasConcept C158465420 @default.
• W1600090894 hasConcept C165064840 @default.
• W1600090894 hasConcept C184264201 @default.
• W1600090894 hasConcept C187455244 @default.
• W1600090894 hasConcept C189430467 @default.
• W1600090894 hasConcept C3309909 @default.
• W1600090894 hasConcept C33923547 @default.
• W1600090894 hasConcept C41008148 @default.
• W1600090894 hasConcept C48372109 @default.
• W1600090894 hasConcept C54101563 @default.
• W1600090894 hasConcept C62520636 @default.
• W1600090894 hasConcept C78458016 @default.
• W1600090894 hasConcept C80444323 @default.
• W1600090894 hasConcept C86803240 @default.
• W1600090894 hasConcept C94375191 @default.
• W1600090894 hasConceptScore W1600090894C105795698 @default.
• W1600090894 hasConceptScore W1600090894C11413529 @default.
• W1600090894 hasConceptScore W1600090894C114614502 @default.
• W1600090894 hasConceptScore W1600090894C118615104 @default.
• W1600090894 hasConceptScore W1600090894C121332964 @default.
• W1600090894 hasConceptScore W1600090894C14036430 @default.
• W1600090894 hasConceptScore W1600090894C14103023 @default.
• W1600090894 hasConceptScore W1600090894C154945302 @default.
• W1600090894 hasConceptScore W1600090894C158465420 @default.
• W1600090894 hasConceptScore W1600090894C165064840 @default.
• W1600090894 hasConceptScore W1600090894C184264201 @default.
• W1600090894 hasConceptScore W1600090894C187455244 @default.
• W1600090894 hasConceptScore W1600090894C189430467 @default.
• W1600090894 hasConceptScore W1600090894C3309909 @default.
• W1600090894 hasConceptScore W1600090894C33923547 @default.
• W1600090894 hasConceptScore W1600090894C41008148 @default.
• W1600090894 hasConceptScore W1600090894C48372109 @default.
• W1600090894 hasConceptScore W1600090894C54101563 @default.
• W1600090894 hasConceptScore W1600090894C62520636 @default.
• W1600090894 hasConceptScore W1600090894C78458016 @default.
• W1600090894 hasConceptScore W1600090894C80444323 @default.
• W1600090894 hasConceptScore W1600090894C86803240 @default.
• W1600090894 hasConceptScore W1600090894C94375191 @default.
• W1600090894 hasLocation W16000908941 @default.
• W1600090894 hasOpenAccess W1600090894 @default.
• W1600090894 hasPrimaryLocation W16000908941 @default.
• W1600090894 hasRelatedWork W1488416029 @default.
• W1600090894 hasRelatedWork W1519249305 @default.
• W1600090894 hasRelatedWork W1561652267 @default.
• W1600090894 hasRelatedWork W1702393756 @default.
• W1600090894 hasRelatedWork W1928979686 @default.
• W1600090894 hasRelatedWork W1934047285 @default.
• W1600090894 hasRelatedWork W1960152183 @default.
• W1600090894 hasRelatedWork W1993552393 @default.
• W1600090894 hasRelatedWork W2055161760 @default.
• W1600090894 hasRelatedWork W2074052167 @default.
• W1600090894 hasRelatedWork W2117100512 @default.
• W1600090894 hasRelatedWork W2121769108 @default.

• next