Matches in SemOpenAlex for { <https://semopenalex.org/work/W1889668376> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1889668376 endingPage "66" @default.
- W1889668376 startingPage "51" @default.
- W1889668376 abstract "AbstractIn program verification one has often to reason about lists over elements of a given nature. Thus, it becomes important to be able to combine the theory of lists with a generic theory T modeling the elements. This combination can be achieved using the Nelson-Oppen method only ifT is stably infinite.The goal of this paper is to relax the stable-infiniteness requirement. More specifically, we provide a new method that is able to combine the theory of lists with any theory T of the elements, regardless of whether T is stably infinite or not. The crux of our combination method is to guess an arrangement over a set of variables that is larger than the one considered by Nelson and Oppen.Furthermore, our results entail that it is also possible to combine T with the more general theory of lists with a length function." @default.
- W1889668376 created "2016-06-24" @default.
- W1889668376 creator A5047487115 @default.
- W1889668376 creator A5060799584 @default.
- W1889668376 creator A5068925113 @default.
- W1889668376 date "2005-01-01" @default.
- W1889668376 modified "2023-09-23" @default.
- W1889668376 title "Combining Lists with Non-stably Infinite Theories" @default.
- W1889668376 cites W1485127463 @default.
- W1889668376 cites W1517044999 @default.
- W1889668376 cites W1522857917 @default.
- W1889668376 cites W1531082202 @default.
- W1889668376 cites W1582571943 @default.
- W1889668376 cites W1588424036 @default.
- W1889668376 cites W1592963626 @default.
- W1889668376 cites W1816792955 @default.
- W1889668376 cites W2030670832 @default.
- W1889668376 cites W2056350513 @default.
- W1889668376 cites W2086822130 @default.
- W1889668376 cites W2095182415 @default.
- W1889668376 cites W2097699872 @default.
- W1889668376 cites W2149932816 @default.
- W1889668376 cites W2153131284 @default.
- W1889668376 cites W2156915267 @default.
- W1889668376 cites W2164778826 @default.
- W1889668376 cites W2912629157 @default.
- W1889668376 cites W2913314261 @default.
- W1889668376 doi "https://doi.org/10.1007/978-3-540-32275-7_4" @default.
- W1889668376 hasPublicationYear "2005" @default.
- W1889668376 type Work @default.
- W1889668376 sameAs 1889668376 @default.
- W1889668376 citedByCount "12" @default.
- W1889668376 countsByYear W18896683762013 @default.
- W1889668376 countsByYear W18896683762015 @default.
- W1889668376 countsByYear W18896683762019 @default.
- W1889668376 countsByYear W18896683762021 @default.
- W1889668376 crossrefType "book-chapter" @default.
- W1889668376 hasAuthorship W1889668376A5047487115 @default.
- W1889668376 hasAuthorship W1889668376A5060799584 @default.
- W1889668376 hasAuthorship W1889668376A5068925113 @default.
- W1889668376 hasBestOaLocation W18896683762 @default.
- W1889668376 hasConcept C11413529 @default.
- W1889668376 hasConcept C118615104 @default.
- W1889668376 hasConcept C136119220 @default.
- W1889668376 hasConcept C14036430 @default.
- W1889668376 hasConcept C153046414 @default.
- W1889668376 hasConcept C177264268 @default.
- W1889668376 hasConcept C199343813 @default.
- W1889668376 hasConcept C199360897 @default.
- W1889668376 hasConcept C202444582 @default.
- W1889668376 hasConcept C2777686260 @default.
- W1889668376 hasConcept C33923547 @default.
- W1889668376 hasConcept C41008148 @default.
- W1889668376 hasConcept C71924100 @default.
- W1889668376 hasConcept C78458016 @default.
- W1889668376 hasConcept C80444323 @default.
- W1889668376 hasConcept C86803240 @default.
- W1889668376 hasConceptScore W1889668376C11413529 @default.
- W1889668376 hasConceptScore W1889668376C118615104 @default.
- W1889668376 hasConceptScore W1889668376C136119220 @default.
- W1889668376 hasConceptScore W1889668376C14036430 @default.
- W1889668376 hasConceptScore W1889668376C153046414 @default.
- W1889668376 hasConceptScore W1889668376C177264268 @default.
- W1889668376 hasConceptScore W1889668376C199343813 @default.
- W1889668376 hasConceptScore W1889668376C199360897 @default.
- W1889668376 hasConceptScore W1889668376C202444582 @default.
- W1889668376 hasConceptScore W1889668376C2777686260 @default.
- W1889668376 hasConceptScore W1889668376C33923547 @default.
- W1889668376 hasConceptScore W1889668376C41008148 @default.
- W1889668376 hasConceptScore W1889668376C71924100 @default.
- W1889668376 hasConceptScore W1889668376C78458016 @default.
- W1889668376 hasConceptScore W1889668376C80444323 @default.
- W1889668376 hasConceptScore W1889668376C86803240 @default.
- W1889668376 hasLocation W18896683761 @default.
- W1889668376 hasLocation W18896683762 @default.
- W1889668376 hasLocation W18896683763 @default.
- W1889668376 hasLocation W18896683764 @default.
- W1889668376 hasOpenAccess W1889668376 @default.
- W1889668376 hasPrimaryLocation W18896683761 @default.
- W1889668376 hasRelatedWork W1040691816 @default.
- W1889668376 hasRelatedWork W2068897649 @default.
- W1889668376 hasRelatedWork W2162881047 @default.
- W1889668376 hasRelatedWork W2553290232 @default.
- W1889668376 hasRelatedWork W2594897463 @default.
- W1889668376 hasRelatedWork W285605535 @default.
- W1889668376 hasRelatedWork W2922502643 @default.
- W1889668376 hasRelatedWork W2950059267 @default.
- W1889668376 hasRelatedWork W3013502888 @default.
- W1889668376 hasRelatedWork W222603737 @default.
- W1889668376 isParatext "false" @default.
- W1889668376 isRetracted "false" @default.
- W1889668376 magId "1889668376" @default.
- W1889668376 workType "book-chapter" @default.