Matches in SemOpenAlex for { <https://semopenalex.org/work/W2484569580> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2484569580 abstract "This paper is concerned with rule-based programs that go wrong. The unwanted behavior of rule applications is non-termination or failure of a computation. We propose a static program analysis of the non-termination problem for recursion in the Constraint Handling Rules (CHR) language." @default.
- W2484569580 created "2016-08-23" @default.
- W2484569580 creator A5032517478 @default.
- W2484569580 date "2016-01-01" @default.
- W2484569580 modified "2023-09-25" @default.
- W2484569580 title "Why Can’t You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints" @default.
- W2484569580 cites W1110993702 @default.
- W2484569580 cites W1972319677 @default.
- W2484569580 cites W2027825679 @default.
- W2484569580 cites W2066664947 @default.
- W2484569580 cites W2123830440 @default.
- W2484569580 cites W2144853448 @default.
- W2484569580 cites W2147263168 @default.
- W2484569580 cites W4234159174 @default.
- W2484569580 cites W4236847445 @default.
- W2484569580 cites W4237325055 @default.
- W2484569580 cites W1985455954 @default.
- W2484569580 doi "https://doi.org/10.1007/978-3-319-42019-6_14" @default.
- W2484569580 hasPublicationYear "2016" @default.
- W2484569580 type Work @default.
- W2484569580 sameAs 2484569580 @default.
- W2484569580 citedByCount "0" @default.
- W2484569580 crossrefType "book-chapter" @default.
- W2484569580 hasAuthorship W2484569580A5032517478 @default.
- W2484569580 hasConcept C11413529 @default.
- W2484569580 hasConcept C168773036 @default.
- W2484569580 hasConcept C199360897 @default.
- W2484569580 hasConcept C2524010 @default.
- W2484569580 hasConcept C2776036281 @default.
- W2484569580 hasConcept C33923547 @default.
- W2484569580 hasConcept C41008148 @default.
- W2484569580 hasConcept C45374587 @default.
- W2484569580 hasConcept C80444323 @default.
- W2484569580 hasConcept C97686452 @default.
- W2484569580 hasConcept C98183937 @default.
- W2484569580 hasConceptScore W2484569580C11413529 @default.
- W2484569580 hasConceptScore W2484569580C168773036 @default.
- W2484569580 hasConceptScore W2484569580C199360897 @default.
- W2484569580 hasConceptScore W2484569580C2524010 @default.
- W2484569580 hasConceptScore W2484569580C2776036281 @default.
- W2484569580 hasConceptScore W2484569580C33923547 @default.
- W2484569580 hasConceptScore W2484569580C41008148 @default.
- W2484569580 hasConceptScore W2484569580C45374587 @default.
- W2484569580 hasConceptScore W2484569580C80444323 @default.
- W2484569580 hasConceptScore W2484569580C97686452 @default.
- W2484569580 hasConceptScore W2484569580C98183937 @default.
- W2484569580 hasLocation W24845695801 @default.
- W2484569580 hasOpenAccess W2484569580 @default.
- W2484569580 hasPrimaryLocation W24845695801 @default.
- W2484569580 hasRelatedWork W1469104086 @default.
- W2484569580 hasRelatedWork W1479894205 @default.
- W2484569580 hasRelatedWork W1491350814 @default.
- W2484569580 hasRelatedWork W1596906072 @default.
- W2484569580 hasRelatedWork W1846507946 @default.
- W2484569580 hasRelatedWork W1994179113 @default.
- W2484569580 hasRelatedWork W2005277728 @default.
- W2484569580 hasRelatedWork W2027825679 @default.
- W2484569580 hasRelatedWork W2040350379 @default.
- W2484569580 hasRelatedWork W2075052434 @default.
- W2484569580 hasRelatedWork W2135520900 @default.
- W2484569580 hasRelatedWork W2725553666 @default.
- W2484569580 hasRelatedWork W2740345056 @default.
- W2484569580 hasRelatedWork W2911798367 @default.
- W2484569580 hasRelatedWork W2949849146 @default.
- W2484569580 hasRelatedWork W2967006920 @default.
- W2484569580 hasRelatedWork W2977649848 @default.
- W2484569580 hasRelatedWork W3103318063 @default.
- W2484569580 hasRelatedWork W2525531152 @default.
- W2484569580 hasRelatedWork W329373491 @default.
- W2484569580 isParatext "false" @default.
- W2484569580 isRetracted "false" @default.
- W2484569580 magId "2484569580" @default.
- W2484569580 workType "book-chapter" @default.