Matches in SemOpenAlex for { <https://semopenalex.org/work/W2946194611> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2946194611 abstract "Nowadays, digital circuits are widely applied in different equipment such as computers, cell phones, digital watches, etc. As a result, new approaches to implement digital circuits are needed. Applying predicate logic is one way for achieving that. In particular, quantification (which is a commonly studied topic in predicate logic) can be used in the translation of a given logical statement which would assist in designing digital circuits. As a result, this paper proposes a new approach to implement the unique existential quantifier in digital circuits." @default.
- W2946194611 created "2019-05-29" @default.
- W2946194611 creator A5065482565 @default.
- W2946194611 creator A5081576970 @default.
- W2946194611 date "2019-04-01" @default.
- W2946194611 modified "2023-10-14" @default.
- W2946194611 title "Implementing the Unique Existential Quantifier in Digital Logic Design" @default.
- W2946194611 cites W2008954857 @default.
- W2946194611 cites W4239155683 @default.
- W2946194611 cites W937581023 @default.
- W2946194611 doi "https://doi.org/10.1109/jeeit.2019.8717466" @default.
- W2946194611 hasPublicationYear "2019" @default.
- W2946194611 type Work @default.
- W2946194611 sameAs 2946194611 @default.
- W2946194611 citedByCount "1" @default.
- W2946194611 countsByYear W29461946112023 @default.
- W2946194611 crossrefType "proceedings-article" @default.
- W2946194611 hasAuthorship W2946194611A5065482565 @default.
- W2946194611 hasAuthorship W2946194611A5081576970 @default.
- W2946194611 hasConcept C102993220 @default.
- W2946194611 hasConcept C11413529 @default.
- W2946194611 hasConcept C119599485 @default.
- W2946194611 hasConcept C127413603 @default.
- W2946194611 hasConcept C131017901 @default.
- W2946194611 hasConcept C134146338 @default.
- W2946194611 hasConcept C140146324 @default.
- W2946194611 hasConcept C157922185 @default.
- W2946194611 hasConcept C17744445 @default.
- W2946194611 hasConcept C19689857 @default.
- W2946194611 hasConcept C199360897 @default.
- W2946194611 hasConcept C199539241 @default.
- W2946194611 hasConcept C2777026412 @default.
- W2946194611 hasConcept C34854456 @default.
- W2946194611 hasConcept C41008148 @default.
- W2946194611 hasConcept C80444323 @default.
- W2946194611 hasConcept C81843906 @default.
- W2946194611 hasConceptScore W2946194611C102993220 @default.
- W2946194611 hasConceptScore W2946194611C11413529 @default.
- W2946194611 hasConceptScore W2946194611C119599485 @default.
- W2946194611 hasConceptScore W2946194611C127413603 @default.
- W2946194611 hasConceptScore W2946194611C131017901 @default.
- W2946194611 hasConceptScore W2946194611C134146338 @default.
- W2946194611 hasConceptScore W2946194611C140146324 @default.
- W2946194611 hasConceptScore W2946194611C157922185 @default.
- W2946194611 hasConceptScore W2946194611C17744445 @default.
- W2946194611 hasConceptScore W2946194611C19689857 @default.
- W2946194611 hasConceptScore W2946194611C199360897 @default.
- W2946194611 hasConceptScore W2946194611C199539241 @default.
- W2946194611 hasConceptScore W2946194611C2777026412 @default.
- W2946194611 hasConceptScore W2946194611C34854456 @default.
- W2946194611 hasConceptScore W2946194611C41008148 @default.
- W2946194611 hasConceptScore W2946194611C80444323 @default.
- W2946194611 hasConceptScore W2946194611C81843906 @default.
- W2946194611 hasLocation W29461946111 @default.
- W2946194611 hasOpenAccess W2946194611 @default.
- W2946194611 hasPrimaryLocation W29461946111 @default.
- W2946194611 hasRelatedWork W1513105280 @default.
- W2946194611 hasRelatedWork W2098419840 @default.
- W2946194611 hasRelatedWork W2101877870 @default.
- W2946194611 hasRelatedWork W2132306137 @default.
- W2946194611 hasRelatedWork W2132855573 @default.
- W2946194611 hasRelatedWork W2243536805 @default.
- W2946194611 hasRelatedWork W2373127312 @default.
- W2946194611 hasRelatedWork W2377041390 @default.
- W2946194611 hasRelatedWork W2963391980 @default.
- W2946194611 hasRelatedWork W659242671 @default.
- W2946194611 isParatext "false" @default.
- W2946194611 isRetracted "false" @default.
- W2946194611 magId "2946194611" @default.
- W2946194611 workType "article" @default.