Matches in SemOpenAlex for { <https://semopenalex.org/work/W2489308093> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2489308093 abstract "We propose a syntactic representation of reversible logic circuits in their entirety, based on Feynman's control interpretation of Toffoli's reversible gate set. A pair of interacting proof calculi for reasoning about these circuits is presented, based on classical propositional logic and monoidal structure, and a natural order-theoretic structure is developed, demonstrated equivalent to Boolean algebras, and extended categorically to form a sound and complete semantics for this system. We show that all strong equivalences of reversible logic circuits are provable in the system, derive an equivalent equational theory, and describe its main applications in the verification of both reversible circuits and template-based reversible circuit rewriting systems." @default.
- W2489308093 created "2016-08-23" @default.
- W2489308093 creator A5027112594 @default.
- W2489308093 creator A5038693222 @default.
- W2489308093 creator A5048620730 @default.
- W2489308093 date "2016-01-01" @default.
- W2489308093 modified "2023-09-27" @default.
- W2489308093 title "A Classical Propositional Logic for Reasoning About Reversible Logic Circuits" @default.
- W2489308093 cites W10878691 @default.
- W2489308093 cites W1677393765 @default.
- W2489308093 cites W1973799895 @default.
- W2489308093 cites W1997428507 @default.
- W2489308093 cites W2012206667 @default.
- W2489308093 cites W2022595765 @default.
- W2489308093 cites W2067961203 @default.
- W2489308093 cites W2154550634 @default.
- W2489308093 cites W3146984552 @default.
- W2489308093 cites W3163391239 @default.
- W2489308093 cites W4213350534 @default.
- W2489308093 cites W4233347701 @default.
- W2489308093 cites W4233798822 @default.
- W2489308093 cites W4242597152 @default.
- W2489308093 cites W4247342663 @default.
- W2489308093 cites W4253003604 @default.
- W2489308093 cites W4256453086 @default.
- W2489308093 doi "https://doi.org/10.1007/978-3-662-52921-8_4" @default.
- W2489308093 hasPublicationYear "2016" @default.
- W2489308093 type Work @default.
- W2489308093 sameAs 2489308093 @default.
- W2489308093 citedByCount "0" @default.
- W2489308093 crossrefType "book-chapter" @default.
- W2489308093 hasAuthorship W2489308093A5027112594 @default.
- W2489308093 hasAuthorship W2489308093A5038693222 @default.
- W2489308093 hasAuthorship W2489308093A5048620730 @default.
- W2489308093 hasConcept C102993220 @default.
- W2489308093 hasConcept C110039528 @default.
- W2489308093 hasConcept C11413529 @default.
- W2489308093 hasConcept C121332964 @default.
- W2489308093 hasConcept C137019171 @default.
- W2489308093 hasConcept C142465778 @default.
- W2489308093 hasConcept C14523651 @default.
- W2489308093 hasConcept C154690210 @default.
- W2489308093 hasConcept C199360897 @default.
- W2489308093 hasConcept C203659156 @default.
- W2489308093 hasConcept C32241873 @default.
- W2489308093 hasConcept C33203268 @default.
- W2489308093 hasConcept C41008148 @default.
- W2489308093 hasConcept C58849907 @default.
- W2489308093 hasConcept C62520636 @default.
- W2489308093 hasConcept C69562738 @default.
- W2489308093 hasConcept C80444323 @default.
- W2489308093 hasConcept C84114770 @default.
- W2489308093 hasConceptScore W2489308093C102993220 @default.
- W2489308093 hasConceptScore W2489308093C110039528 @default.
- W2489308093 hasConceptScore W2489308093C11413529 @default.
- W2489308093 hasConceptScore W2489308093C121332964 @default.
- W2489308093 hasConceptScore W2489308093C137019171 @default.
- W2489308093 hasConceptScore W2489308093C142465778 @default.
- W2489308093 hasConceptScore W2489308093C14523651 @default.
- W2489308093 hasConceptScore W2489308093C154690210 @default.
- W2489308093 hasConceptScore W2489308093C199360897 @default.
- W2489308093 hasConceptScore W2489308093C203659156 @default.
- W2489308093 hasConceptScore W2489308093C32241873 @default.
- W2489308093 hasConceptScore W2489308093C33203268 @default.
- W2489308093 hasConceptScore W2489308093C41008148 @default.
- W2489308093 hasConceptScore W2489308093C58849907 @default.
- W2489308093 hasConceptScore W2489308093C62520636 @default.
- W2489308093 hasConceptScore W2489308093C69562738 @default.
- W2489308093 hasConceptScore W2489308093C80444323 @default.
- W2489308093 hasConceptScore W2489308093C84114770 @default.
- W2489308093 hasLocation W24893080931 @default.
- W2489308093 hasOpenAccess W2489308093 @default.
- W2489308093 hasPrimaryLocation W24893080931 @default.
- W2489308093 hasRelatedWork W133336308 @default.
- W2489308093 hasRelatedWork W1495662780 @default.
- W2489308093 hasRelatedWork W1521975091 @default.
- W2489308093 hasRelatedWork W1547063019 @default.
- W2489308093 hasRelatedWork W1550213970 @default.
- W2489308093 hasRelatedWork W1595099555 @default.
- W2489308093 hasRelatedWork W1835518415 @default.
- W2489308093 hasRelatedWork W2003922364 @default.
- W2489308093 hasRelatedWork W2055558461 @default.
- W2489308093 hasRelatedWork W2068921581 @default.
- W2489308093 hasRelatedWork W2081308133 @default.
- W2489308093 hasRelatedWork W2090184124 @default.
- W2489308093 hasRelatedWork W2165019859 @default.
- W2489308093 hasRelatedWork W2512851812 @default.
- W2489308093 hasRelatedWork W2893109491 @default.
- W2489308093 hasRelatedWork W2895078906 @default.
- W2489308093 hasRelatedWork W2896709287 @default.
- W2489308093 hasRelatedWork W2963562820 @default.
- W2489308093 hasRelatedWork W3089146403 @default.
- W2489308093 hasRelatedWork W86787093 @default.
- W2489308093 isParatext "false" @default.
- W2489308093 isRetracted "false" @default.
- W2489308093 magId "2489308093" @default.
- W2489308093 workType "book-chapter" @default.