Matches in SemOpenAlex for { <https://semopenalex.org/work/W2588453590> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2588453590 abstract "This paper considers quasi-reductivity - essentially, the property that an evaluation cannot get stuck due to a missing case in pattern matching - in the context of term rewriting with logical constraints." @default.
- W2588453590 created "2017-02-24" @default.
- W2588453590 creator A5001880661 @default.
- W2588453590 date "2017-02-08" @default.
- W2588453590 modified "2023-09-27" @default.
- W2588453590 title "Quasi-reductivity of Logically Constrained Term Rewriting Systems." @default.
- W2588453590 cites W26731332 @default.
- W2588453590 cites W8727156 @default.
- W2588453590 hasPublicationYear "2017" @default.
- W2588453590 type Work @default.
- W2588453590 sameAs 2588453590 @default.
- W2588453590 citedByCount "0" @default.
- W2588453590 crossrefType "posted-content" @default.
- W2588453590 hasAuthorship W2588453590A5001880661 @default.
- W2588453590 hasConcept C105795698 @default.
- W2588453590 hasConcept C111472728 @default.
- W2588453590 hasConcept C11413529 @default.
- W2588453590 hasConcept C121332964 @default.
- W2588453590 hasConcept C138885662 @default.
- W2588453590 hasConcept C154690210 @default.
- W2588453590 hasConcept C165064840 @default.
- W2588453590 hasConcept C166957645 @default.
- W2588453590 hasConcept C189950617 @default.
- W2588453590 hasConcept C199360897 @default.
- W2588453590 hasConcept C20693621 @default.
- W2588453590 hasConcept C2779343474 @default.
- W2588453590 hasConcept C33923547 @default.
- W2588453590 hasConcept C41008148 @default.
- W2588453590 hasConcept C61797465 @default.
- W2588453590 hasConcept C62520636 @default.
- W2588453590 hasConcept C77906462 @default.
- W2588453590 hasConcept C80444323 @default.
- W2588453590 hasConcept C95457728 @default.
- W2588453590 hasConceptScore W2588453590C105795698 @default.
- W2588453590 hasConceptScore W2588453590C111472728 @default.
- W2588453590 hasConceptScore W2588453590C11413529 @default.
- W2588453590 hasConceptScore W2588453590C121332964 @default.
- W2588453590 hasConceptScore W2588453590C138885662 @default.
- W2588453590 hasConceptScore W2588453590C154690210 @default.
- W2588453590 hasConceptScore W2588453590C165064840 @default.
- W2588453590 hasConceptScore W2588453590C166957645 @default.
- W2588453590 hasConceptScore W2588453590C189950617 @default.
- W2588453590 hasConceptScore W2588453590C199360897 @default.
- W2588453590 hasConceptScore W2588453590C20693621 @default.
- W2588453590 hasConceptScore W2588453590C2779343474 @default.
- W2588453590 hasConceptScore W2588453590C33923547 @default.
- W2588453590 hasConceptScore W2588453590C41008148 @default.
- W2588453590 hasConceptScore W2588453590C61797465 @default.
- W2588453590 hasConceptScore W2588453590C62520636 @default.
- W2588453590 hasConceptScore W2588453590C77906462 @default.
- W2588453590 hasConceptScore W2588453590C80444323 @default.
- W2588453590 hasConceptScore W2588453590C95457728 @default.
- W2588453590 hasLocation W25884535901 @default.
- W2588453590 hasOpenAccess W2588453590 @default.
- W2588453590 hasPrimaryLocation W25884535901 @default.
- W2588453590 hasRelatedWork W1488945152 @default.
- W2588453590 hasRelatedWork W1966353549 @default.
- W2588453590 hasRelatedWork W2003329561 @default.
- W2588453590 hasRelatedWork W2061978946 @default.
- W2588453590 hasRelatedWork W2068188619 @default.
- W2588453590 hasRelatedWork W2105803012 @default.
- W2588453590 hasRelatedWork W2160480844 @default.
- W2588453590 hasRelatedWork W2293570177 @default.
- W2588453590 hasRelatedWork W2758999113 @default.
- W2588453590 hasRelatedWork W2797538233 @default.
- W2588453590 hasRelatedWork W2833946054 @default.
- W2588453590 hasRelatedWork W2950858117 @default.
- W2588453590 hasRelatedWork W2951737181 @default.
- W2588453590 hasRelatedWork W2953090146 @default.
- W2588453590 hasRelatedWork W3005618371 @default.
- W2588453590 hasRelatedWork W3006785914 @default.
- W2588453590 hasRelatedWork W3040828936 @default.
- W2588453590 hasRelatedWork W3144877098 @default.
- W2588453590 hasRelatedWork W2183450657 @default.
- W2588453590 hasRelatedWork W2740525900 @default.
- W2588453590 isParatext "false" @default.
- W2588453590 isRetracted "false" @default.
- W2588453590 magId "2588453590" @default.
- W2588453590 workType "article" @default.