Matches in SemOpenAlex for { <https://semopenalex.org/work/W1596501052> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1596501052 endingPage "60" @default.
- W1596501052 startingPage "46" @default.
- W1596501052 abstract "We study ground confluence and inductive validity in equational specifications that are interpreted in a constructor based way. By defining semantics of the specification in an appropriate way, we are able to transfer the proof-byconsistency concepts from unstructured specifications to constructor based specifications, where the unstructured specifications with their usual semantics are included as a special case. We further show that the proof-by-consistency concepts not only apply to inductive theorem proving, but can as well be employed to prove ground confluence of rewrite systems. So we present a refutationally complete prover for ground confluence and inductive validity that applies to unstructured as well as constructor based equational specifications." @default.
- W1596501052 created "2016-06-24" @default.
- W1596501052 creator A5043972137 @default.
- W1596501052 date "1993-01-01" @default.
- W1596501052 modified "2023-09-26" @default.
- W1596501052 title "Proving ground confluence and inductive validity in constructor based equational specifications" @default.
- W1596501052 cites W1992371661 @default.
- W1596501052 cites W2001026998 @default.
- W1596501052 cites W2021173362 @default.
- W1596501052 cites W2022060249 @default.
- W1596501052 cites W2022701528 @default.
- W1596501052 cites W2056637458 @default.
- W1596501052 cites W2074030070 @default.
- W1596501052 cites W2159709550 @default.
- W1596501052 cites W2166841305 @default.
- W1596501052 doi "https://doi.org/10.1007/3-540-56610-4_55" @default.
- W1596501052 hasPublicationYear "1993" @default.
- W1596501052 type Work @default.
- W1596501052 sameAs 1596501052 @default.
- W1596501052 citedByCount "8" @default.
- W1596501052 countsByYear W15965010522022 @default.
- W1596501052 crossrefType "book-chapter" @default.
- W1596501052 hasAuthorship W1596501052A5043972137 @default.
- W1596501052 hasBestOaLocation W15965010521 @default.
- W1596501052 hasConcept C154690210 @default.
- W1596501052 hasConcept C154945302 @default.
- W1596501052 hasConcept C184337299 @default.
- W1596501052 hasConcept C199360897 @default.
- W1596501052 hasConcept C206880738 @default.
- W1596501052 hasConcept C2776436953 @default.
- W1596501052 hasConcept C41008148 @default.
- W1596501052 hasConcept C77906462 @default.
- W1596501052 hasConceptScore W1596501052C154690210 @default.
- W1596501052 hasConceptScore W1596501052C154945302 @default.
- W1596501052 hasConceptScore W1596501052C184337299 @default.
- W1596501052 hasConceptScore W1596501052C199360897 @default.
- W1596501052 hasConceptScore W1596501052C206880738 @default.
- W1596501052 hasConceptScore W1596501052C2776436953 @default.
- W1596501052 hasConceptScore W1596501052C41008148 @default.
- W1596501052 hasConceptScore W1596501052C77906462 @default.
- W1596501052 hasLocation W15965010521 @default.
- W1596501052 hasOpenAccess W1596501052 @default.
- W1596501052 hasPrimaryLocation W15965010521 @default.
- W1596501052 hasRelatedWork W1559211365 @default.
- W1596501052 hasRelatedWork W1592756229 @default.
- W1596501052 hasRelatedWork W1855927527 @default.
- W1596501052 hasRelatedWork W1980968022 @default.
- W1596501052 hasRelatedWork W1991934002 @default.
- W1596501052 hasRelatedWork W2030762481 @default.
- W1596501052 hasRelatedWork W2417030643 @default.
- W1596501052 hasRelatedWork W2491573813 @default.
- W1596501052 hasRelatedWork W1744983872 @default.
- W1596501052 hasRelatedWork W2025817323 @default.
- W1596501052 isParatext "false" @default.
- W1596501052 isRetracted "false" @default.
- W1596501052 magId "1596501052" @default.
- W1596501052 workType "book-chapter" @default.