Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013378402> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2013378402 endingPage "106" @default.
- W2013378402 startingPage "87" @default.
- W2013378402 abstract "If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the disjoint union of the two theories? We prove this is possible whenever the original theories are convex. As an application, we prove that algorithms for solving equations in the two theories (solvers) can not be combined in a similar fashion. These results are relevant to the widely used Shostak’s method for combining decision procedures for theories. They provide the first rigorous answers to the questions about the possibility of directly combining canonizers and solvers." @default.
- W2013378402 created "2016-06-24" @default.
- W2013378402 creator A5005087679 @default.
- W2013378402 creator A5055526112 @default.
- W2013378402 date "2005-05-01" @default.
- W2013378402 modified "2023-09-26" @default.
- W2013378402 title "Canonization for disjoint unions of theories" @default.
- W2013378402 cites W1481749898 @default.
- W2013378402 cites W1534253077 @default.
- W2013378402 cites W1541711253 @default.
- W2013378402 cites W1546619436 @default.
- W2013378402 cites W1559664284 @default.
- W2013378402 cites W1575118279 @default.
- W2013378402 cites W1583295953 @default.
- W2013378402 cites W1583912692 @default.
- W2013378402 cites W1628379673 @default.
- W2013378402 cites W1875484171 @default.
- W2013378402 cites W1929502661 @default.
- W2013378402 cites W1978356133 @default.
- W2013378402 cites W2030179532 @default.
- W2013378402 cites W2030670832 @default.
- W2013378402 cites W2069422398 @default.
- W2013378402 cites W2109595350 @default.
- W2013378402 cites W2113486906 @default.
- W2013378402 cites W2136584020 @default.
- W2013378402 cites W2164778826 @default.
- W2013378402 cites W2293606340 @default.
- W2013378402 cites W26772505 @default.
- W2013378402 cites W2912629157 @default.
- W2013378402 cites W2621468397 @default.
- W2013378402 doi "https://doi.org/10.1016/j.ic.2004.11.001" @default.
- W2013378402 hasPublicationYear "2005" @default.
- W2013378402 type Work @default.
- W2013378402 sameAs 2013378402 @default.
- W2013378402 citedByCount "16" @default.
- W2013378402 countsByYear W20133784022012 @default.
- W2013378402 countsByYear W20133784022013 @default.
- W2013378402 countsByYear W20133784022018 @default.
- W2013378402 countsByYear W20133784022020 @default.
- W2013378402 countsByYear W20133784022021 @default.
- W2013378402 countsByYear W20133784022022 @default.
- W2013378402 crossrefType "journal-article" @default.
- W2013378402 hasAuthorship W2013378402A5005087679 @default.
- W2013378402 hasAuthorship W2013378402A5055526112 @default.
- W2013378402 hasConcept C10138342 @default.
- W2013378402 hasConcept C112680207 @default.
- W2013378402 hasConcept C118615104 @default.
- W2013378402 hasConcept C144237770 @default.
- W2013378402 hasConcept C162324750 @default.
- W2013378402 hasConcept C182306322 @default.
- W2013378402 hasConcept C199360897 @default.
- W2013378402 hasConcept C2524010 @default.
- W2013378402 hasConcept C2780801425 @default.
- W2013378402 hasConcept C33923547 @default.
- W2013378402 hasConcept C41008148 @default.
- W2013378402 hasConcept C45340560 @default.
- W2013378402 hasConcept C7655956 @default.
- W2013378402 hasConcept C80444323 @default.
- W2013378402 hasConceptScore W2013378402C10138342 @default.
- W2013378402 hasConceptScore W2013378402C112680207 @default.
- W2013378402 hasConceptScore W2013378402C118615104 @default.
- W2013378402 hasConceptScore W2013378402C144237770 @default.
- W2013378402 hasConceptScore W2013378402C162324750 @default.
- W2013378402 hasConceptScore W2013378402C182306322 @default.
- W2013378402 hasConceptScore W2013378402C199360897 @default.
- W2013378402 hasConceptScore W2013378402C2524010 @default.
- W2013378402 hasConceptScore W2013378402C2780801425 @default.
- W2013378402 hasConceptScore W2013378402C33923547 @default.
- W2013378402 hasConceptScore W2013378402C41008148 @default.
- W2013378402 hasConceptScore W2013378402C45340560 @default.
- W2013378402 hasConceptScore W2013378402C7655956 @default.
- W2013378402 hasConceptScore W2013378402C80444323 @default.
- W2013378402 hasIssue "1-2" @default.
- W2013378402 hasLocation W20133784021 @default.
- W2013378402 hasOpenAccess W2013378402 @default.
- W2013378402 hasPrimaryLocation W20133784021 @default.
- W2013378402 hasRelatedWork W1673295963 @default.
- W2013378402 hasRelatedWork W1989760504 @default.
- W2013378402 hasRelatedWork W2124542296 @default.
- W2013378402 hasRelatedWork W2315249199 @default.
- W2013378402 hasRelatedWork W2801664517 @default.
- W2013378402 hasRelatedWork W2963275484 @default.
- W2013378402 hasRelatedWork W2991824606 @default.
- W2013378402 hasRelatedWork W3014823906 @default.
- W2013378402 hasRelatedWork W3083133146 @default.
- W2013378402 hasRelatedWork W3216043834 @default.
- W2013378402 hasVolume "199" @default.
- W2013378402 isParatext "false" @default.
- W2013378402 isRetracted "false" @default.
- W2013378402 magId "2013378402" @default.
- W2013378402 workType "article" @default.