Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963164018> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2963164018 abstract "We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose assignments are given by affine expressions). Our main tool is an algebraic result of independent interest: given a finite set of rational square matrices of the same dimension, we show how to compute the Zariski closure of the semigroup that they generate." @default.
- W2963164018 created "2019-07-30" @default.
- W2963164018 creator A5045412407 @default.
- W2963164018 creator A5053070582 @default.
- W2963164018 creator A5068165188 @default.
- W2963164018 creator A5072806743 @default.
- W2963164018 date "2018-07-09" @default.
- W2963164018 modified "2023-09-27" @default.
- W2963164018 title "Polynomial Invariants for Affine Programs" @default.
- W2963164018 cites W1971043610 @default.
- W2963164018 cites W1973360680 @default.
- W2963164018 cites W1993542933 @default.
- W2963164018 cites W1997562124 @default.
- W2963164018 cites W2026869748 @default.
- W2963164018 cites W2031373197 @default.
- W2963164018 cites W2037418280 @default.
- W2963164018 cites W2043100293 @default.
- W2963164018 cites W204546099 @default.
- W2963164018 cites W2050431915 @default.
- W2963164018 cites W2054326409 @default.
- W2963164018 cites W2074794353 @default.
- W2963164018 cites W2080070043 @default.
- W2963164018 cites W2098045685 @default.
- W2963164018 cites W2099629271 @default.
- W2963164018 cites W2118362509 @default.
- W2963164018 cites W2132661148 @default.
- W2963164018 cites W2151759383 @default.
- W2963164018 cites W2171834078 @default.
- W2963164018 cites W2780276625 @default.
- W2963164018 cites W3003383064 @default.
- W2963164018 cites W37006675 @default.
- W2963164018 doi "https://doi.org/10.1145/3209108.3209142" @default.
- W2963164018 hasPublicationYear "2018" @default.
- W2963164018 type Work @default.
- W2963164018 sameAs 2963164018 @default.
- W2963164018 citedByCount "33" @default.
- W2963164018 countsByYear W29631640182018 @default.
- W2963164018 countsByYear W29631640182019 @default.
- W2963164018 countsByYear W29631640182020 @default.
- W2963164018 countsByYear W29631640182021 @default.
- W2963164018 countsByYear W29631640182022 @default.
- W2963164018 countsByYear W29631640182023 @default.
- W2963164018 crossrefType "proceedings-article" @default.
- W2963164018 hasAuthorship W2963164018A5045412407 @default.
- W2963164018 hasAuthorship W2963164018A5053070582 @default.
- W2963164018 hasAuthorship W2963164018A5068165188 @default.
- W2963164018 hasAuthorship W2963164018A5072806743 @default.
- W2963164018 hasBestOaLocation W29631640181 @default.
- W2963164018 hasConcept C112128483 @default.
- W2963164018 hasConcept C118615104 @default.
- W2963164018 hasConcept C134306372 @default.
- W2963164018 hasConcept C136119220 @default.
- W2963164018 hasConcept C173110770 @default.
- W2963164018 hasConcept C202444582 @default.
- W2963164018 hasConcept C207405024 @default.
- W2963164018 hasConcept C25971838 @default.
- W2963164018 hasConcept C33676613 @default.
- W2963164018 hasConcept C33923547 @default.
- W2963164018 hasConcept C90119067 @default.
- W2963164018 hasConcept C92757383 @default.
- W2963164018 hasConcept C9376300 @default.
- W2963164018 hasConceptScore W2963164018C112128483 @default.
- W2963164018 hasConceptScore W2963164018C118615104 @default.
- W2963164018 hasConceptScore W2963164018C134306372 @default.
- W2963164018 hasConceptScore W2963164018C136119220 @default.
- W2963164018 hasConceptScore W2963164018C173110770 @default.
- W2963164018 hasConceptScore W2963164018C202444582 @default.
- W2963164018 hasConceptScore W2963164018C207405024 @default.
- W2963164018 hasConceptScore W2963164018C25971838 @default.
- W2963164018 hasConceptScore W2963164018C33676613 @default.
- W2963164018 hasConceptScore W2963164018C33923547 @default.
- W2963164018 hasConceptScore W2963164018C90119067 @default.
- W2963164018 hasConceptScore W2963164018C92757383 @default.
- W2963164018 hasConceptScore W2963164018C9376300 @default.
- W2963164018 hasFunder F4320338335 @default.
- W2963164018 hasLocation W29631640181 @default.
- W2963164018 hasLocation W29631640182 @default.
- W2963164018 hasLocation W29631640183 @default.
- W2963164018 hasLocation W29631640184 @default.
- W2963164018 hasOpenAccess W2963164018 @default.
- W2963164018 hasPrimaryLocation W29631640181 @default.
- W2963164018 hasRelatedWork W2073454542 @default.
- W2963164018 hasRelatedWork W2129369729 @default.
- W2963164018 hasRelatedWork W2949097341 @default.
- W2963164018 hasRelatedWork W2949241273 @default.
- W2963164018 hasRelatedWork W2963096283 @default.
- W2963164018 hasRelatedWork W3037245240 @default.
- W2963164018 hasRelatedWork W4293391735 @default.
- W2963164018 hasRelatedWork W4330338946 @default.
- W2963164018 hasRelatedWork W576273477 @default.
- W2963164018 hasRelatedWork W1647613798 @default.
- W2963164018 isParatext "false" @default.
- W2963164018 isRetracted "false" @default.
- W2963164018 magId "2963164018" @default.
- W2963164018 workType "article" @default.