Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010576582> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2010576582 endingPage "999" @default.
- W2010576582 startingPage "986" @default.
- W2010576582 abstract "The input/output transformation effected by digital systems can be considered as concrete realizations of abstract mathematical functions. The mappings between abstract functions and concrete realizations, if kept explicit throughout the formulation, constitute the necessary 'handles' (embodied by function definitions) for transformational reasoning about digital systems. Deductive reasoning can be factored out and reduced considerably. This is demonstrated by a functional recast of the major parts of digital systems theory. Since the emphasis of this study is on the method (transformational reasoning) rather than on new system concepts, examples are chosen from familiar areas. However, some new results are obtained.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2010576582 created "2016-06-24" @default.
- W2010576582 creator A5088147328 @default.
- W2010576582 date "1989-07-01" @default.
- W2010576582 modified "2023-10-01" @default.
- W2010576582 title "Representational and denotational semantics of digital systems" @default.
- W2010576582 cites W1822244604 @default.
- W2010576582 cites W2003131643 @default.
- W2010576582 cites W2010576582 @default.
- W2010576582 cites W2038863376 @default.
- W2010576582 cites W2055750719 @default.
- W2010576582 cites W2061786858 @default.
- W2010576582 cites W2117611429 @default.
- W2010576582 cites W2131256658 @default.
- W2010576582 cites W2148620491 @default.
- W2010576582 cites W2150346788 @default.
- W2010576582 cites W2151384546 @default.
- W2010576582 cites W2165214275 @default.
- W2010576582 cites W2172307690 @default.
- W2010576582 cites W3023216518 @default.
- W2010576582 doi "https://doi.org/10.1109/12.30850" @default.
- W2010576582 hasPublicationYear "1989" @default.
- W2010576582 type Work @default.
- W2010576582 sameAs 2010576582 @default.
- W2010576582 citedByCount "12" @default.
- W2010576582 countsByYear W20105765822012 @default.
- W2010576582 crossrefType "journal-article" @default.
- W2010576582 hasAuthorship W2010576582A5088147328 @default.
- W2010576582 hasConcept C100609095 @default.
- W2010576582 hasConcept C104317684 @default.
- W2010576582 hasConcept C136119220 @default.
- W2010576582 hasConcept C14036430 @default.
- W2010576582 hasConcept C154945302 @default.
- W2010576582 hasConcept C156325763 @default.
- W2010576582 hasConcept C17744445 @default.
- W2010576582 hasConcept C184337299 @default.
- W2010576582 hasConcept C185592680 @default.
- W2010576582 hasConcept C199360897 @default.
- W2010576582 hasConcept C202444582 @default.
- W2010576582 hasConcept C204241405 @default.
- W2010576582 hasConcept C207648694 @default.
- W2010576582 hasConcept C33923547 @default.
- W2010576582 hasConcept C38775462 @default.
- W2010576582 hasConcept C39549134 @default.
- W2010576582 hasConcept C41008148 @default.
- W2010576582 hasConcept C55493867 @default.
- W2010576582 hasConcept C78458016 @default.
- W2010576582 hasConcept C80444323 @default.
- W2010576582 hasConcept C86803240 @default.
- W2010576582 hasConceptScore W2010576582C100609095 @default.
- W2010576582 hasConceptScore W2010576582C104317684 @default.
- W2010576582 hasConceptScore W2010576582C136119220 @default.
- W2010576582 hasConceptScore W2010576582C14036430 @default.
- W2010576582 hasConceptScore W2010576582C154945302 @default.
- W2010576582 hasConceptScore W2010576582C156325763 @default.
- W2010576582 hasConceptScore W2010576582C17744445 @default.
- W2010576582 hasConceptScore W2010576582C184337299 @default.
- W2010576582 hasConceptScore W2010576582C185592680 @default.
- W2010576582 hasConceptScore W2010576582C199360897 @default.
- W2010576582 hasConceptScore W2010576582C202444582 @default.
- W2010576582 hasConceptScore W2010576582C204241405 @default.
- W2010576582 hasConceptScore W2010576582C207648694 @default.
- W2010576582 hasConceptScore W2010576582C33923547 @default.
- W2010576582 hasConceptScore W2010576582C38775462 @default.
- W2010576582 hasConceptScore W2010576582C39549134 @default.
- W2010576582 hasConceptScore W2010576582C41008148 @default.
- W2010576582 hasConceptScore W2010576582C55493867 @default.
- W2010576582 hasConceptScore W2010576582C78458016 @default.
- W2010576582 hasConceptScore W2010576582C80444323 @default.
- W2010576582 hasConceptScore W2010576582C86803240 @default.
- W2010576582 hasIssue "7" @default.
- W2010576582 hasLocation W20105765821 @default.
- W2010576582 hasOpenAccess W2010576582 @default.
- W2010576582 hasPrimaryLocation W20105765821 @default.
- W2010576582 hasRelatedWork W1422032522 @default.
- W2010576582 hasRelatedWork W1494714697 @default.
- W2010576582 hasRelatedWork W1558467648 @default.
- W2010576582 hasRelatedWork W1587224678 @default.
- W2010576582 hasRelatedWork W1855927527 @default.
- W2010576582 hasRelatedWork W1991569066 @default.
- W2010576582 hasRelatedWork W2035082615 @default.
- W2010576582 hasRelatedWork W2084426999 @default.
- W2010576582 hasRelatedWork W2118068485 @default.
- W2010576582 hasRelatedWork W783270985 @default.
- W2010576582 hasVolume "38" @default.
- W2010576582 isParatext "false" @default.
- W2010576582 isRetracted "false" @default.
- W2010576582 magId "2010576582" @default.
- W2010576582 workType "article" @default.