Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554033963> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1554033963 abstract "We summarize a number of new results concerning inductive-theorem proving in the area of design specifications using Horn logic with equality. Induction is explicit here because induction orderings must be integrated into the specification. However, the proofs need less guidance if the specification is ground confluent and strongly terminating. Calculi for verifying these conditions are presented along with a list of useful applications." @default.
- W1554033963 created "2016-06-24" @default.
- W1554033963 creator A5090633870 @default.
- W1554033963 date "1993-01-01" @default.
- W1554033963 modified "2023-09-27" @default.
- W1554033963 title "Generic induction proofs" @default.
- W1554033963 cites W1567856068 @default.
- W1554033963 cites W2063221996 @default.
- W1554033963 cites W2102813462 @default.
- W1554033963 cites W3021158638 @default.
- W1554033963 cites W3022794709 @default.
- W1554033963 cites W4230517083 @default.
- W1554033963 cites W4300128858 @default.
- W1554033963 doi "https://doi.org/10.1007/3-540-56393-8_14" @default.
- W1554033963 hasPublicationYear "1993" @default.
- W1554033963 type Work @default.
- W1554033963 sameAs 1554033963 @default.
- W1554033963 citedByCount "4" @default.
- W1554033963 crossrefType "book-chapter" @default.
- W1554033963 hasAuthorship W1554033963A5090633870 @default.
- W1554033963 hasConcept C100481476 @default.
- W1554033963 hasConcept C108710211 @default.
- W1554033963 hasConcept C11413529 @default.
- W1554033963 hasConcept C189790780 @default.
- W1554033963 hasConcept C199343813 @default.
- W1554033963 hasConcept C199360897 @default.
- W1554033963 hasConcept C206743973 @default.
- W1554033963 hasConcept C206880738 @default.
- W1554033963 hasConcept C2524010 @default.
- W1554033963 hasConcept C2777686260 @default.
- W1554033963 hasConcept C33923547 @default.
- W1554033963 hasConcept C41008148 @default.
- W1554033963 hasConcept C71924100 @default.
- W1554033963 hasConcept C80444323 @default.
- W1554033963 hasConcept C81721847 @default.
- W1554033963 hasConceptScore W1554033963C100481476 @default.
- W1554033963 hasConceptScore W1554033963C108710211 @default.
- W1554033963 hasConceptScore W1554033963C11413529 @default.
- W1554033963 hasConceptScore W1554033963C189790780 @default.
- W1554033963 hasConceptScore W1554033963C199343813 @default.
- W1554033963 hasConceptScore W1554033963C199360897 @default.
- W1554033963 hasConceptScore W1554033963C206743973 @default.
- W1554033963 hasConceptScore W1554033963C206880738 @default.
- W1554033963 hasConceptScore W1554033963C2524010 @default.
- W1554033963 hasConceptScore W1554033963C2777686260 @default.
- W1554033963 hasConceptScore W1554033963C33923547 @default.
- W1554033963 hasConceptScore W1554033963C41008148 @default.
- W1554033963 hasConceptScore W1554033963C71924100 @default.
- W1554033963 hasConceptScore W1554033963C80444323 @default.
- W1554033963 hasConceptScore W1554033963C81721847 @default.
- W1554033963 hasLocation W15540339631 @default.
- W1554033963 hasOpenAccess W1554033963 @default.
- W1554033963 hasPrimaryLocation W15540339631 @default.
- W1554033963 hasRelatedWork W123438006 @default.
- W1554033963 hasRelatedWork W1483284084 @default.
- W1554033963 hasRelatedWork W1483953191 @default.
- W1554033963 hasRelatedWork W1505806930 @default.
- W1554033963 hasRelatedWork W1506927614 @default.
- W1554033963 hasRelatedWork W1520464013 @default.
- W1554033963 hasRelatedWork W1540452401 @default.
- W1554033963 hasRelatedWork W1548912834 @default.
- W1554033963 hasRelatedWork W1552639196 @default.
- W1554033963 hasRelatedWork W1576127349 @default.
- W1554033963 hasRelatedWork W1596413407 @default.
- W1554033963 hasRelatedWork W164147662 @default.
- W1554033963 hasRelatedWork W1852594029 @default.
- W1554033963 hasRelatedWork W2078852650 @default.
- W1554033963 hasRelatedWork W2101048719 @default.
- W1554033963 hasRelatedWork W2463700520 @default.
- W1554033963 hasRelatedWork W2509227 @default.
- W1554033963 hasRelatedWork W2912818154 @default.
- W1554033963 hasRelatedWork W29316377 @default.
- W1554033963 hasRelatedWork W2120869910 @default.
- W1554033963 isParatext "false" @default.
- W1554033963 isRetracted "false" @default.
- W1554033963 magId "1554033963" @default.
- W1554033963 workType "book-chapter" @default.