Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965764611> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1965764611 endingPage "2726" @default.
- W1965764611 startingPage "2715" @default.
- W1965764611 abstract "Automated reasoning of inductive theorems is considered important in program verification. To verify inductive theorems automatically, several implicit induction methods like the inductionless induction and the rewriting induction methods have been proposed. In studying inductive theorems on higher-order rewritings, we found that the class of the theorems shown by known implicit induction methods does not coincide with that of inductive theorems, and the gap between them is a barrier in developing mechanized methods for disproving inductive theorems. This paper fills this gap by introducing the notion of primitive inductive theorems, and clarifying the relation between inductive theorems and primitive inductive theorems. Based on this relation, we achieve mechanized methods for proving and disproving inductive theorems." @default.
- W1965764611 created "2016-06-24" @default.
- W1965764611 creator A5031676206 @default.
- W1965764611 creator A5034176636 @default.
- W1965764611 creator A5054861254 @default.
- W1965764611 date "2005-12-01" @default.
- W1965764611 modified "2023-09-26" @default.
- W1965764611 title "Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting" @default.
- W1965764611 cites W1490532726 @default.
- W1965764611 cites W1519760726 @default.
- W1965764611 cites W1563061915 @default.
- W1965764611 cites W1583295953 @default.
- W1965764611 cites W1590828018 @default.
- W1965764611 cites W1972927864 @default.
- W1965764611 cites W1992371661 @default.
- W1965764611 cites W1996064523 @default.
- W1965764611 cites W2021173362 @default.
- W1965764611 cites W2022701528 @default.
- W1965764611 cites W2049352524 @default.
- W1965764611 cites W2069453418 @default.
- W1965764611 cites W2099089064 @default.
- W1965764611 cites W2103845528 @default.
- W1965764611 doi "https://doi.org/10.1093/ietisy/e88-d.12.2715" @default.
- W1965764611 hasPublicationYear "2005" @default.
- W1965764611 type Work @default.
- W1965764611 sameAs 1965764611 @default.
- W1965764611 citedByCount "6" @default.
- W1965764611 crossrefType "journal-article" @default.
- W1965764611 hasAuthorship W1965764611A5031676206 @default.
- W1965764611 hasAuthorship W1965764611A5034176636 @default.
- W1965764611 hasAuthorship W1965764611A5054861254 @default.
- W1965764611 hasConcept C100776233 @default.
- W1965764611 hasConcept C10138342 @default.
- W1965764611 hasConcept C126322002 @default.
- W1965764611 hasConcept C145420912 @default.
- W1965764611 hasConcept C154690210 @default.
- W1965764611 hasConcept C154945302 @default.
- W1965764611 hasConcept C162324750 @default.
- W1965764611 hasConcept C182306322 @default.
- W1965764611 hasConcept C199360897 @default.
- W1965764611 hasConcept C206743973 @default.
- W1965764611 hasConcept C21563000 @default.
- W1965764611 hasConcept C2524010 @default.
- W1965764611 hasConcept C2993131915 @default.
- W1965764611 hasConcept C33923547 @default.
- W1965764611 hasConcept C41008148 @default.
- W1965764611 hasConcept C71924100 @default.
- W1965764611 hasConcept C88610354 @default.
- W1965764611 hasConceptScore W1965764611C100776233 @default.
- W1965764611 hasConceptScore W1965764611C10138342 @default.
- W1965764611 hasConceptScore W1965764611C126322002 @default.
- W1965764611 hasConceptScore W1965764611C145420912 @default.
- W1965764611 hasConceptScore W1965764611C154690210 @default.
- W1965764611 hasConceptScore W1965764611C154945302 @default.
- W1965764611 hasConceptScore W1965764611C162324750 @default.
- W1965764611 hasConceptScore W1965764611C182306322 @default.
- W1965764611 hasConceptScore W1965764611C199360897 @default.
- W1965764611 hasConceptScore W1965764611C206743973 @default.
- W1965764611 hasConceptScore W1965764611C21563000 @default.
- W1965764611 hasConceptScore W1965764611C2524010 @default.
- W1965764611 hasConceptScore W1965764611C2993131915 @default.
- W1965764611 hasConceptScore W1965764611C33923547 @default.
- W1965764611 hasConceptScore W1965764611C41008148 @default.
- W1965764611 hasConceptScore W1965764611C71924100 @default.
- W1965764611 hasConceptScore W1965764611C88610354 @default.
- W1965764611 hasIssue "12" @default.
- W1965764611 hasLocation W19657646111 @default.
- W1965764611 hasOpenAccess W1965764611 @default.
- W1965764611 hasPrimaryLocation W19657646111 @default.
- W1965764611 hasRelatedWork W1519760726 @default.
- W1965764611 hasRelatedWork W1965764611 @default.
- W1965764611 hasRelatedWork W1978982708 @default.
- W1965764611 hasRelatedWork W2135853107 @default.
- W1965764611 hasRelatedWork W2461753066 @default.
- W1965764611 hasRelatedWork W2765809110 @default.
- W1965764611 hasRelatedWork W3146292543 @default.
- W1965764611 hasRelatedWork W3175035893 @default.
- W1965764611 hasRelatedWork W1859226892 @default.
- W1965764611 hasRelatedWork W2585043030 @default.
- W1965764611 hasVolume "E88-D" @default.
- W1965764611 isParatext "false" @default.
- W1965764611 isRetracted "false" @default.
- W1965764611 magId "1965764611" @default.
- W1965764611 workType "article" @default.