Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133570754> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2133570754 endingPage "416" @default.
- W2133570754 startingPage "402" @default.
- W2133570754 abstract "The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this category (e.g. the theory of bit-vectors). To remedy this problem, previous work introduced the notion of polite theories. Polite theories can be combined with any other theory using an extension of the Nelson-Oppen approach. In this paper we revisit the notion of polite theories, fixing a subtle flaw in the original definition. We give a new combination theorem which specifies the degree to which politeness is preserved when combining polite theories. We also give conditions under which politeness is preserved when instantiating theories by identifying two sorts. These results lead to a more general variant of the theorem for combining multiple polite theories." @default.
- W2133570754 created "2016-06-24" @default.
- W2133570754 creator A5026961968 @default.
- W2133570754 creator A5060253003 @default.
- W2133570754 date "2010-01-01" @default.
- W2133570754 modified "2023-10-04" @default.
- W2133570754 title "Polite Theories Revisited" @default.
- W2133570754 cites W1531082700 @default.
- W2133570754 cites W1559664284 @default.
- W2133570754 cites W1595386810 @default.
- W2133570754 cites W1871671368 @default.
- W2133570754 cites W2056350513 @default.
- W2133570754 cites W2072380992 @default.
- W2133570754 cites W2133570754 @default.
- W2133570754 cites W2133750287 @default.
- W2133570754 cites W2164778826 @default.
- W2133570754 doi "https://doi.org/10.1007/978-3-642-16242-8_29" @default.
- W2133570754 hasPublicationYear "2010" @default.
- W2133570754 type Work @default.
- W2133570754 sameAs 2133570754 @default.
- W2133570754 citedByCount "31" @default.
- W2133570754 countsByYear W21335707542012 @default.
- W2133570754 countsByYear W21335707542013 @default.
- W2133570754 countsByYear W21335707542014 @default.
- W2133570754 countsByYear W21335707542015 @default.
- W2133570754 countsByYear W21335707542016 @default.
- W2133570754 countsByYear W21335707542017 @default.
- W2133570754 countsByYear W21335707542018 @default.
- W2133570754 countsByYear W21335707542019 @default.
- W2133570754 countsByYear W21335707542020 @default.
- W2133570754 countsByYear W21335707542021 @default.
- W2133570754 countsByYear W21335707542022 @default.
- W2133570754 countsByYear W21335707542023 @default.
- W2133570754 crossrefType "book-chapter" @default.
- W2133570754 hasAuthorship W2133570754A5026961968 @default.
- W2133570754 hasAuthorship W2133570754A5060253003 @default.
- W2133570754 hasConcept C136119220 @default.
- W2133570754 hasConcept C138885662 @default.
- W2133570754 hasConcept C199360897 @default.
- W2133570754 hasConcept C202444582 @default.
- W2133570754 hasConcept C2778029271 @default.
- W2133570754 hasConcept C33923547 @default.
- W2133570754 hasConcept C41008148 @default.
- W2133570754 hasConcept C41895202 @default.
- W2133570754 hasConcept C58393919 @default.
- W2133570754 hasConcept C61123122 @default.
- W2133570754 hasConceptScore W2133570754C136119220 @default.
- W2133570754 hasConceptScore W2133570754C138885662 @default.
- W2133570754 hasConceptScore W2133570754C199360897 @default.
- W2133570754 hasConceptScore W2133570754C202444582 @default.
- W2133570754 hasConceptScore W2133570754C2778029271 @default.
- W2133570754 hasConceptScore W2133570754C33923547 @default.
- W2133570754 hasConceptScore W2133570754C41008148 @default.
- W2133570754 hasConceptScore W2133570754C41895202 @default.
- W2133570754 hasConceptScore W2133570754C58393919 @default.
- W2133570754 hasConceptScore W2133570754C61123122 @default.
- W2133570754 hasLocation W21335707541 @default.
- W2133570754 hasOpenAccess W2133570754 @default.
- W2133570754 hasPrimaryLocation W21335707541 @default.
- W2133570754 hasRelatedWork W2026081598 @default.
- W2133570754 hasRelatedWork W2066055799 @default.
- W2133570754 hasRelatedWork W2353460826 @default.
- W2133570754 hasRelatedWork W2363698889 @default.
- W2133570754 hasRelatedWork W2372870387 @default.
- W2133570754 hasRelatedWork W2374883646 @default.
- W2133570754 hasRelatedWork W2399256508 @default.
- W2133570754 hasRelatedWork W304493487 @default.
- W2133570754 hasRelatedWork W4226396773 @default.
- W2133570754 hasRelatedWork W4291214286 @default.
- W2133570754 isParatext "false" @default.
- W2133570754 isRetracted "false" @default.
- W2133570754 magId "2133570754" @default.
- W2133570754 workType "book-chapter" @default.