Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788496444> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2788496444 abstract "We consider reasoning about linear systems expressed as block diagrams in a general relational setting. Using the notion of additive relation borrowed from homological algebra, the theory of weakest pre-conditions for these systems turns out to be very tractable and gives simple Hoarestyle rules for the block diagram constructors. Many natural choices for the logical language used to express properties of linear systems admit a high degree of automation. We show by example how the rules can be used to inform development of a proof while a decision procedure automates the routine work." @default.
- W2788496444 created "2018-03-06" @default.
- W2788496444 creator A5028867738 @default.
- W2788496444 date "2007-01-01" @default.
- W2788496444 modified "2023-09-27" @default.
- W2788496444 title "Reasoning about linear systems" @default.
- W2788496444 cites W1484739396 @default.
- W2788496444 cites W1491037654 @default.
- W2788496444 cites W1513889636 @default.
- W2788496444 cites W1897595500 @default.
- W2788496444 cites W1972464717 @default.
- W2788496444 cites W1998368317 @default.
- W2788496444 cites W2029018540 @default.
- W2788496444 cites W2038078711 @default.
- W2788496444 cites W2126021517 @default.
- W2788496444 cites W2144687289 @default.
- W2788496444 cites W2151044855 @default.
- W2788496444 cites W2405502988 @default.
- W2788496444 cites W2738635245 @default.
- W2788496444 cites W3146075203 @default.
- W2788496444 cites W88729032 @default.
- W2788496444 hasPublicationYear "2007" @default.
- W2788496444 type Work @default.
- W2788496444 sameAs 2788496444 @default.
- W2788496444 citedByCount "3" @default.
- W2788496444 countsByYear W27884964442014 @default.
- W2788496444 crossrefType "journal-article" @default.
- W2788496444 hasAuthorship W2788496444A5028867738 @default.
- W2788496444 hasConcept C111472728 @default.
- W2788496444 hasConcept C114614502 @default.
- W2788496444 hasConcept C124101348 @default.
- W2788496444 hasConcept C136119220 @default.
- W2788496444 hasConcept C138885662 @default.
- W2788496444 hasConcept C202444582 @default.
- W2788496444 hasConcept C25343380 @default.
- W2788496444 hasConcept C2777210771 @default.
- W2788496444 hasConcept C2780586882 @default.
- W2788496444 hasConcept C28077239 @default.
- W2788496444 hasConcept C33923547 @default.
- W2788496444 hasConcept C41008148 @default.
- W2788496444 hasConcept C80444323 @default.
- W2788496444 hasConceptScore W2788496444C111472728 @default.
- W2788496444 hasConceptScore W2788496444C114614502 @default.
- W2788496444 hasConceptScore W2788496444C124101348 @default.
- W2788496444 hasConceptScore W2788496444C136119220 @default.
- W2788496444 hasConceptScore W2788496444C138885662 @default.
- W2788496444 hasConceptScore W2788496444C202444582 @default.
- W2788496444 hasConceptScore W2788496444C25343380 @default.
- W2788496444 hasConceptScore W2788496444C2777210771 @default.
- W2788496444 hasConceptScore W2788496444C2780586882 @default.
- W2788496444 hasConceptScore W2788496444C28077239 @default.
- W2788496444 hasConceptScore W2788496444C33923547 @default.
- W2788496444 hasConceptScore W2788496444C41008148 @default.
- W2788496444 hasConceptScore W2788496444C80444323 @default.
- W2788496444 hasLocation W27884964441 @default.
- W2788496444 hasOpenAccess W2788496444 @default.
- W2788496444 hasPrimaryLocation W27884964441 @default.
- W2788496444 hasRelatedWork W1503051607 @default.
- W2788496444 hasRelatedWork W1623618347 @default.
- W2788496444 hasRelatedWork W164610590 @default.
- W2788496444 hasRelatedWork W1887871432 @default.
- W2788496444 hasRelatedWork W2058269520 @default.
- W2788496444 hasRelatedWork W2178257381 @default.
- W2788496444 hasRelatedWork W2201043149 @default.
- W2788496444 hasRelatedWork W2349378723 @default.
- W2788496444 hasRelatedWork W2406822549 @default.
- W2788496444 hasRelatedWork W2595518539 @default.
- W2788496444 hasRelatedWork W2911619792 @default.
- W2788496444 hasRelatedWork W2949616784 @default.
- W2788496444 hasRelatedWork W2963559825 @default.
- W2788496444 hasRelatedWork W2981080366 @default.
- W2788496444 hasRelatedWork W3022840914 @default.
- W2788496444 hasRelatedWork W3106280144 @default.
- W2788496444 hasRelatedWork W3142416232 @default.
- W2788496444 hasRelatedWork W3192921270 @default.
- W2788496444 hasRelatedWork W3194609232 @default.
- W2788496444 isParatext "false" @default.
- W2788496444 isRetracted "false" @default.
- W2788496444 magId "2788496444" @default.
- W2788496444 workType "article" @default.