Matches in SemOpenAlex for { <https://semopenalex.org/work/W1592017452> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1592017452 abstract "We present an algorithm which, given a conditional rewriting system and a set of distinguished operators, guarantees in case of success, that the normal forms of every ground term are primitive, i.e. built only from the distinguished operators. This property is crucial for completeness of definition and very helpful in inductive proofs. It was comparatively few investigated for conditional systems. The algorithm combines structural analysis, using patterns on distinguished operators, and case analysis, using sets of preconditions involved when reducing the instances of patterns. The algorithm works for reductive systems that constitute a large class of systems, as reductivity is assumed when proving most of the properties of conditional systems. The correctness proof of the algorithm and several examples are also presented." @default.
- W1592017452 created "2016-06-24" @default.
- W1592017452 creator A5023853046 @default.
- W1592017452 creator A5088296904 @default.
- W1592017452 date "1991-01-01" @default.
- W1592017452 modified "2023-09-23" @default.
- W1592017452 title "On sufficient completeness of conditional specifications" @default.
- W1592017452 cites W1501986906 @default.
- W1592017452 cites W1543763168 @default.
- W1592017452 cites W2015874281 @default.
- W1592017452 cites W2021173362 @default.
- W1592017452 cites W2056716318 @default.
- W1592017452 cites W2063080606 @default.
- W1592017452 cites W2074030070 @default.
- W1592017452 cites W2117156852 @default.
- W1592017452 cites W2134338128 @default.
- W1592017452 cites W2149640269 @default.
- W1592017452 cites W4255537914 @default.
- W1592017452 doi "https://doi.org/10.1007/3-540-54317-1_97" @default.
- W1592017452 hasPublicationYear "1991" @default.
- W1592017452 type Work @default.
- W1592017452 sameAs 1592017452 @default.
- W1592017452 citedByCount "1" @default.
- W1592017452 crossrefType "book-chapter" @default.
- W1592017452 hasAuthorship W1592017452A5023853046 @default.
- W1592017452 hasAuthorship W1592017452A5088296904 @default.
- W1592017452 hasConcept C108710211 @default.
- W1592017452 hasConcept C11413529 @default.
- W1592017452 hasConcept C134306372 @default.
- W1592017452 hasConcept C154690210 @default.
- W1592017452 hasConcept C154945302 @default.
- W1592017452 hasConcept C17231256 @default.
- W1592017452 hasConcept C177264268 @default.
- W1592017452 hasConcept C199360897 @default.
- W1592017452 hasConcept C2524010 @default.
- W1592017452 hasConcept C2777212361 @default.
- W1592017452 hasConcept C33923547 @default.
- W1592017452 hasConcept C41008148 @default.
- W1592017452 hasConcept C55439883 @default.
- W1592017452 hasConcept C80444323 @default.
- W1592017452 hasConceptScore W1592017452C108710211 @default.
- W1592017452 hasConceptScore W1592017452C11413529 @default.
- W1592017452 hasConceptScore W1592017452C134306372 @default.
- W1592017452 hasConceptScore W1592017452C154690210 @default.
- W1592017452 hasConceptScore W1592017452C154945302 @default.
- W1592017452 hasConceptScore W1592017452C17231256 @default.
- W1592017452 hasConceptScore W1592017452C177264268 @default.
- W1592017452 hasConceptScore W1592017452C199360897 @default.
- W1592017452 hasConceptScore W1592017452C2524010 @default.
- W1592017452 hasConceptScore W1592017452C2777212361 @default.
- W1592017452 hasConceptScore W1592017452C33923547 @default.
- W1592017452 hasConceptScore W1592017452C41008148 @default.
- W1592017452 hasConceptScore W1592017452C55439883 @default.
- W1592017452 hasConceptScore W1592017452C80444323 @default.
- W1592017452 hasLocation W15920174521 @default.
- W1592017452 hasOpenAccess W1592017452 @default.
- W1592017452 hasPrimaryLocation W15920174521 @default.
- W1592017452 hasRelatedWork W149518286 @default.
- W1592017452 hasRelatedWork W1510950510 @default.
- W1592017452 hasRelatedWork W180134343 @default.
- W1592017452 hasRelatedWork W1969356716 @default.
- W1592017452 hasRelatedWork W2007008828 @default.
- W1592017452 hasRelatedWork W2020190447 @default.
- W1592017452 hasRelatedWork W2024792743 @default.
- W1592017452 hasRelatedWork W2025113826 @default.
- W1592017452 hasRelatedWork W2093299352 @default.
- W1592017452 hasRelatedWork W2107280992 @default.
- W1592017452 hasRelatedWork W2113577335 @default.
- W1592017452 hasRelatedWork W2130524429 @default.
- W1592017452 hasRelatedWork W2257772802 @default.
- W1592017452 hasRelatedWork W2340937219 @default.
- W1592017452 hasRelatedWork W2496972307 @default.
- W1592017452 hasRelatedWork W2803950828 @default.
- W1592017452 hasRelatedWork W2811015221 @default.
- W1592017452 hasRelatedWork W2950567239 @default.
- W1592017452 hasRelatedWork W2555186796 @default.
- W1592017452 hasRelatedWork W2687936787 @default.
- W1592017452 isParatext "false" @default.
- W1592017452 isRetracted "false" @default.
- W1592017452 magId "1592017452" @default.
- W1592017452 workType "book-chapter" @default.