Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031385999> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2031385999 endingPage "258" @default.
- W2031385999 startingPage "241" @default.
- W2031385999 abstract "In this paper we present an approach to integrating reasoning specialists into cover set induction based on constraint contextual rewriting. The approach has been successfully used to incorporate decision procedures into theSPIKE prover. Computer experiments on non-trivial verification problems illustrating the effectiveness of the proposed technique are given. The generality of the approach allows for the integration of computer algebra algorithms and techniques into induction theorem provers. To illustrate this, we discuss the integration of the Buchberger algorithm into our framework." @default.
- W2031385999 created "2016-06-24" @default.
- W2031385999 creator A5010375037 @default.
- W2031385999 creator A5039827178 @default.
- W2031385999 creator A5058631772 @default.
- W2031385999 date "2002-10-01" @default.
- W2031385999 modified "2023-10-16" @default.
- W2031385999 title "Incorporating Decision Procedures in Implicit Induction" @default.
- W2031385999 cites W1524281144 @default.
- W2031385999 cites W1538994531 @default.
- W2031385999 cites W1571072169 @default.
- W2031385999 cites W1581810060 @default.
- W2031385999 cites W1996064523 @default.
- W2031385999 cites W2000600476 @default.
- W2031385999 cites W2057086674 @default.
- W2031385999 cites W2068188619 @default.
- W2031385999 cites W2169235184 @default.
- W2031385999 cites W2404894384 @default.
- W2031385999 cites W3022794709 @default.
- W2031385999 doi "https://doi.org/10.1006/jsco.2002.0549" @default.
- W2031385999 hasPublicationYear "2002" @default.
- W2031385999 type Work @default.
- W2031385999 sameAs 2031385999 @default.
- W2031385999 citedByCount "18" @default.
- W2031385999 countsByYear W20313859992013 @default.
- W2031385999 countsByYear W20313859992014 @default.
- W2031385999 countsByYear W20313859992015 @default.
- W2031385999 countsByYear W20313859992017 @default.
- W2031385999 countsByYear W20313859992020 @default.
- W2031385999 crossrefType "journal-article" @default.
- W2031385999 hasAuthorship W2031385999A5010375037 @default.
- W2031385999 hasAuthorship W2031385999A5039827178 @default.
- W2031385999 hasAuthorship W2031385999A5058631772 @default.
- W2031385999 hasBestOaLocation W20313859991 @default.
- W2031385999 hasConcept C108710211 @default.
- W2031385999 hasConcept C11413529 @default.
- W2031385999 hasConcept C136119220 @default.
- W2031385999 hasConcept C154690210 @default.
- W2031385999 hasConcept C15744967 @default.
- W2031385999 hasConcept C159718280 @default.
- W2031385999 hasConcept C177264268 @default.
- W2031385999 hasConcept C195344581 @default.
- W2031385999 hasConcept C199360897 @default.
- W2031385999 hasConcept C202444582 @default.
- W2031385999 hasConcept C206743973 @default.
- W2031385999 hasConcept C206880738 @default.
- W2031385999 hasConcept C2524010 @default.
- W2031385999 hasConcept C2776036281 @default.
- W2031385999 hasConcept C2780767217 @default.
- W2031385999 hasConcept C33923547 @default.
- W2031385999 hasConcept C41008148 @default.
- W2031385999 hasConcept C542102704 @default.
- W2031385999 hasConcept C80444323 @default.
- W2031385999 hasConceptScore W2031385999C108710211 @default.
- W2031385999 hasConceptScore W2031385999C11413529 @default.
- W2031385999 hasConceptScore W2031385999C136119220 @default.
- W2031385999 hasConceptScore W2031385999C154690210 @default.
- W2031385999 hasConceptScore W2031385999C15744967 @default.
- W2031385999 hasConceptScore W2031385999C159718280 @default.
- W2031385999 hasConceptScore W2031385999C177264268 @default.
- W2031385999 hasConceptScore W2031385999C195344581 @default.
- W2031385999 hasConceptScore W2031385999C199360897 @default.
- W2031385999 hasConceptScore W2031385999C202444582 @default.
- W2031385999 hasConceptScore W2031385999C206743973 @default.
- W2031385999 hasConceptScore W2031385999C206880738 @default.
- W2031385999 hasConceptScore W2031385999C2524010 @default.
- W2031385999 hasConceptScore W2031385999C2776036281 @default.
- W2031385999 hasConceptScore W2031385999C2780767217 @default.
- W2031385999 hasConceptScore W2031385999C33923547 @default.
- W2031385999 hasConceptScore W2031385999C41008148 @default.
- W2031385999 hasConceptScore W2031385999C542102704 @default.
- W2031385999 hasConceptScore W2031385999C80444323 @default.
- W2031385999 hasIssue "4" @default.
- W2031385999 hasLocation W20313859991 @default.
- W2031385999 hasOpenAccess W2031385999 @default.
- W2031385999 hasPrimaryLocation W20313859991 @default.
- W2031385999 hasRelatedWork W1503487801 @default.
- W2031385999 hasRelatedWork W1515169568 @default.
- W2031385999 hasRelatedWork W1520931169 @default.
- W2031385999 hasRelatedWork W162260173 @default.
- W2031385999 hasRelatedWork W2031385999 @default.
- W2031385999 hasRelatedWork W2057086674 @default.
- W2031385999 hasRelatedWork W2099473324 @default.
- W2031385999 hasRelatedWork W2955117944 @default.
- W2031385999 hasRelatedWork W4245884879 @default.
- W2031385999 hasRelatedWork W2764317176 @default.
- W2031385999 hasVolume "34" @default.
- W2031385999 isParatext "false" @default.
- W2031385999 isRetracted "false" @default.
- W2031385999 magId "2031385999" @default.
- W2031385999 workType "article" @default.