Matches in SemOpenAlex for { <https://semopenalex.org/work/W4252292105> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4252292105 endingPage "194" @default.
- W4252292105 startingPage "172" @default.
- W4252292105 abstract "Abstract We introduce the notion of porous invariants for multipath (or branching/nondeterministic) affine loops over the integers; these invariants are not necessarily convex, and can in fact contain infinitely many ‘holes’. Nevertheless, we show that in many cases such invariants can be automatically synthesised, and moreover can be used to settle (non-)reachability questions for various interesting classes of affine loops and target sets." @default.
- W4252292105 created "2022-05-12" @default.
- W4252292105 creator A5013804239 @default.
- W4252292105 creator A5043600270 @default.
- W4252292105 creator A5045412407 @default.
- W4252292105 creator A5068165188 @default.
- W4252292105 date "2021-01-01" @default.
- W4252292105 modified "2023-09-27" @default.
- W4252292105 title "Porous Invariants" @default.
- W4252292105 cites W12758337 @default.
- W4252292105 cites W1540580590 @default.
- W4252292105 cites W1582408114 @default.
- W4252292105 cites W1994348879 @default.
- W4252292105 cites W2027671360 @default.
- W4252292105 cites W2031373197 @default.
- W4252292105 cites W2034774429 @default.
- W4252292105 cites W2057072192 @default.
- W4252292105 cites W2125797022 @default.
- W4252292105 cites W2132661148 @default.
- W4252292105 cites W2172004614 @default.
- W4252292105 cites W2533836568 @default.
- W4252292105 cites W286513891 @default.
- W4252292105 cites W2899568449 @default.
- W4252292105 cites W2922024459 @default.
- W4252292105 cites W2963164018 @default.
- W4252292105 cites W2963283598 @default.
- W4252292105 cites W2964040301 @default.
- W4252292105 cites W4249920159 @default.
- W4252292105 cites W94582126 @default.
- W4252292105 doi "https://doi.org/10.1007/978-3-030-81688-9_8" @default.
- W4252292105 hasPublicationYear "2021" @default.
- W4252292105 type Work @default.
- W4252292105 citedByCount "3" @default.
- W4252292105 countsByYear W42522921052022 @default.
- W4252292105 countsByYear W42522921052023 @default.
- W4252292105 crossrefType "book-chapter" @default.
- W4252292105 hasAuthorship W4252292105A5013804239 @default.
- W4252292105 hasAuthorship W4252292105A5043600270 @default.
- W4252292105 hasAuthorship W4252292105A5045412407 @default.
- W4252292105 hasAuthorship W4252292105A5068165188 @default.
- W4252292105 hasBestOaLocation W42522921051 @default.
- W4252292105 hasConcept C112680207 @default.
- W4252292105 hasConcept C11413529 @default.
- W4252292105 hasConcept C118615104 @default.
- W4252292105 hasConcept C136643341 @default.
- W4252292105 hasConcept C176181172 @default.
- W4252292105 hasConcept C202444582 @default.
- W4252292105 hasConcept C2524010 @default.
- W4252292105 hasConcept C33923547 @default.
- W4252292105 hasConcept C41008148 @default.
- W4252292105 hasConcept C92757383 @default.
- W4252292105 hasConceptScore W4252292105C112680207 @default.
- W4252292105 hasConceptScore W4252292105C11413529 @default.
- W4252292105 hasConceptScore W4252292105C118615104 @default.
- W4252292105 hasConceptScore W4252292105C136643341 @default.
- W4252292105 hasConceptScore W4252292105C176181172 @default.
- W4252292105 hasConceptScore W4252292105C202444582 @default.
- W4252292105 hasConceptScore W4252292105C2524010 @default.
- W4252292105 hasConceptScore W4252292105C33923547 @default.
- W4252292105 hasConceptScore W4252292105C41008148 @default.
- W4252292105 hasConceptScore W4252292105C92757383 @default.
- W4252292105 hasLocation W42522921051 @default.
- W4252292105 hasOpenAccess W4252292105 @default.
- W4252292105 hasPrimaryLocation W42522921051 @default.
- W4252292105 hasRelatedWork W2014352902 @default.
- W4252292105 hasRelatedWork W2019742197 @default.
- W4252292105 hasRelatedWork W2046034664 @default.
- W4252292105 hasRelatedWork W3040348990 @default.
- W4252292105 hasRelatedWork W3082487952 @default.
- W4252292105 hasRelatedWork W3184847830 @default.
- W4252292105 hasRelatedWork W3185884789 @default.
- W4252292105 hasRelatedWork W4252292105 @default.
- W4252292105 hasRelatedWork W4288357225 @default.
- W4252292105 hasRelatedWork W4303685986 @default.
- W4252292105 isParatext "false" @default.
- W4252292105 isRetracted "false" @default.
- W4252292105 workType "book-chapter" @default.