Matches in SemOpenAlex for { <https://semopenalex.org/work/W2150628379> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2150628379 endingPage "207" @default.
- W2150628379 startingPage "193" @default.
- W2150628379 abstract "This paper defines the cover of a formula φ with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by (exists{V}{phi}) in theory T. Cover exists for several useful theories, including those that do not admit quantifier elimination. This paper describes cover algorithms for the theories of uninterpreted functions and linear arithmetic. In addition, the paper provides a combination algorithm to combine the cover operations for theories that satisfy some general condition. This combination algorithm can be used to compute the cover a formula in the combined theory of uninterpreted functions and linear arithmetic. This paper motivates the study of cover by describing its applications in program analysis and verification techniques, like symbolic model checking and abstract interpretation." @default.
- W2150628379 created "2016-06-24" @default.
- W2150628379 creator A5011198874 @default.
- W2150628379 creator A5011543162 @default.
- W2150628379 date "2008-04-02" @default.
- W2150628379 modified "2023-09-26" @default.
- W2150628379 title "Cover Algorithms and Their Combination" @default.
- W2150628379 cites W1594713566 @default.
- W2150628379 cites W1711276981 @default.
- W2150628379 cites W1847824436 @default.
- W2150628379 cites W1968898611 @default.
- W2150628379 cites W1987005090 @default.
- W2150628379 cites W2007455965 @default.
- W2150628379 cites W2043100293 @default.
- W2150628379 cites W2098698656 @default.
- W2150628379 cites W2132661148 @default.
- W2150628379 cites W2140191215 @default.
- W2150628379 cites W2164778826 @default.
- W2150628379 cites W2344671925 @default.
- W2150628379 cites W2999818597 @default.
- W2150628379 cites W4212792638 @default.
- W2150628379 cites W4232671690 @default.
- W2150628379 cites W4236684541 @default.
- W2150628379 doi "https://doi.org/10.1007/978-3-540-78739-6_16" @default.
- W2150628379 hasPublicationYear "2008" @default.
- W2150628379 type Work @default.
- W2150628379 sameAs 2150628379 @default.
- W2150628379 citedByCount "25" @default.
- W2150628379 countsByYear W21506283792012 @default.
- W2150628379 countsByYear W21506283792014 @default.
- W2150628379 countsByYear W21506283792015 @default.
- W2150628379 countsByYear W21506283792017 @default.
- W2150628379 countsByYear W21506283792018 @default.
- W2150628379 countsByYear W21506283792019 @default.
- W2150628379 countsByYear W21506283792020 @default.
- W2150628379 countsByYear W21506283792021 @default.
- W2150628379 countsByYear W21506283792022 @default.
- W2150628379 crossrefType "book-chapter" @default.
- W2150628379 hasAuthorship W2150628379A5011198874 @default.
- W2150628379 hasAuthorship W2150628379A5011543162 @default.
- W2150628379 hasBestOaLocation W21506283791 @default.
- W2150628379 hasConcept C11413529 @default.
- W2150628379 hasConcept C118615104 @default.
- W2150628379 hasConcept C127413603 @default.
- W2150628379 hasConcept C136119220 @default.
- W2150628379 hasConcept C154945302 @default.
- W2150628379 hasConcept C177264268 @default.
- W2150628379 hasConcept C199360897 @default.
- W2150628379 hasConcept C202444582 @default.
- W2150628379 hasConcept C2778523021 @default.
- W2150628379 hasConcept C2780428219 @default.
- W2150628379 hasConcept C2780654840 @default.
- W2150628379 hasConcept C32278780 @default.
- W2150628379 hasConcept C33923547 @default.
- W2150628379 hasConcept C41008148 @default.
- W2150628379 hasConcept C527412718 @default.
- W2150628379 hasConcept C78519656 @default.
- W2150628379 hasConceptScore W2150628379C11413529 @default.
- W2150628379 hasConceptScore W2150628379C118615104 @default.
- W2150628379 hasConceptScore W2150628379C127413603 @default.
- W2150628379 hasConceptScore W2150628379C136119220 @default.
- W2150628379 hasConceptScore W2150628379C154945302 @default.
- W2150628379 hasConceptScore W2150628379C177264268 @default.
- W2150628379 hasConceptScore W2150628379C199360897 @default.
- W2150628379 hasConceptScore W2150628379C202444582 @default.
- W2150628379 hasConceptScore W2150628379C2778523021 @default.
- W2150628379 hasConceptScore W2150628379C2780428219 @default.
- W2150628379 hasConceptScore W2150628379C2780654840 @default.
- W2150628379 hasConceptScore W2150628379C32278780 @default.
- W2150628379 hasConceptScore W2150628379C33923547 @default.
- W2150628379 hasConceptScore W2150628379C41008148 @default.
- W2150628379 hasConceptScore W2150628379C527412718 @default.
- W2150628379 hasConceptScore W2150628379C78519656 @default.
- W2150628379 hasLocation W21506283791 @default.
- W2150628379 hasOpenAccess W2150628379 @default.
- W2150628379 hasPrimaryLocation W21506283791 @default.
- W2150628379 hasRelatedWork W1607598983 @default.
- W2150628379 hasRelatedWork W2040139795 @default.
- W2150628379 hasRelatedWork W2049924983 @default.
- W2150628379 hasRelatedWork W2060519142 @default.
- W2150628379 hasRelatedWork W2140913328 @default.
- W2150628379 hasRelatedWork W2150628379 @default.
- W2150628379 hasRelatedWork W2289770768 @default.
- W2150628379 hasRelatedWork W3135280923 @default.
- W2150628379 hasRelatedWork W3146823024 @default.
- W2150628379 hasRelatedWork W3148574779 @default.
- W2150628379 isParatext "false" @default.
- W2150628379 isRetracted "false" @default.
- W2150628379 magId "2150628379" @default.
- W2150628379 workType "book-chapter" @default.