Matches in SemOpenAlex for { <https://semopenalex.org/work/W2803604491> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2803604491 abstract "Abstract simulation of one transition system by another is introduced as a means to simulate a potentially infinite class of similar transition sequences within a single transition sequence. This is useful for proving confluence under invariants of a given system, as it may reduce the number of proof cases to consider from infinity to a finite number. The classical confluence results for Constraint Handling Rules (CHR) can be explained in this way, using CHR as a simulation of itself. Using an abstract simulation based on a ground representation, we extend these results to include confluence under invariant and modulo equivalence, which have not been done in a satisfactory way before." @default.
- W2803604491 created "2018-06-01" @default.
- W2803604491 creator A5021255849 @default.
- W2803604491 creator A5034230236 @default.
- W2803604491 date "2018-05-26" @default.
- W2803604491 modified "2023-09-27" @default.
- W2803604491 title "Confluence of CHR revisited: invariants and modulo equivalence" @default.
- W2803604491 hasPublicationYear "2018" @default.
- W2803604491 type Work @default.
- W2803604491 sameAs 2803604491 @default.
- W2803604491 citedByCount "0" @default.
- W2803604491 crossrefType "posted-content" @default.
- W2803604491 hasAuthorship W2803604491A5021255849 @default.
- W2803604491 hasAuthorship W2803604491A5034230236 @default.
- W2803604491 hasConcept C11413529 @default.
- W2803604491 hasConcept C118615104 @default.
- W2803604491 hasConcept C134306372 @default.
- W2803604491 hasConcept C154945302 @default.
- W2803604491 hasConcept C17744445 @default.
- W2803604491 hasConcept C190470478 @default.
- W2803604491 hasConcept C199360897 @default.
- W2803604491 hasConcept C199539241 @default.
- W2803604491 hasConcept C202444582 @default.
- W2803604491 hasConcept C2776359362 @default.
- W2803604491 hasConcept C2777212361 @default.
- W2803604491 hasConcept C2778112365 @default.
- W2803604491 hasConcept C2779167558 @default.
- W2803604491 hasConcept C2780069185 @default.
- W2803604491 hasConcept C33923547 @default.
- W2803604491 hasConcept C37914503 @default.
- W2803604491 hasConcept C41008148 @default.
- W2803604491 hasConcept C54355233 @default.
- W2803604491 hasConcept C54732982 @default.
- W2803604491 hasConcept C7321624 @default.
- W2803604491 hasConcept C77906462 @default.
- W2803604491 hasConcept C86803240 @default.
- W2803604491 hasConcept C94625758 @default.
- W2803604491 hasConceptScore W2803604491C11413529 @default.
- W2803604491 hasConceptScore W2803604491C118615104 @default.
- W2803604491 hasConceptScore W2803604491C134306372 @default.
- W2803604491 hasConceptScore W2803604491C154945302 @default.
- W2803604491 hasConceptScore W2803604491C17744445 @default.
- W2803604491 hasConceptScore W2803604491C190470478 @default.
- W2803604491 hasConceptScore W2803604491C199360897 @default.
- W2803604491 hasConceptScore W2803604491C199539241 @default.
- W2803604491 hasConceptScore W2803604491C202444582 @default.
- W2803604491 hasConceptScore W2803604491C2776359362 @default.
- W2803604491 hasConceptScore W2803604491C2777212361 @default.
- W2803604491 hasConceptScore W2803604491C2778112365 @default.
- W2803604491 hasConceptScore W2803604491C2779167558 @default.
- W2803604491 hasConceptScore W2803604491C2780069185 @default.
- W2803604491 hasConceptScore W2803604491C33923547 @default.
- W2803604491 hasConceptScore W2803604491C37914503 @default.
- W2803604491 hasConceptScore W2803604491C41008148 @default.
- W2803604491 hasConceptScore W2803604491C54355233 @default.
- W2803604491 hasConceptScore W2803604491C54732982 @default.
- W2803604491 hasConceptScore W2803604491C7321624 @default.
- W2803604491 hasConceptScore W2803604491C77906462 @default.
- W2803604491 hasConceptScore W2803604491C86803240 @default.
- W2803604491 hasConceptScore W2803604491C94625758 @default.
- W2803604491 hasLocation W28036044911 @default.
- W2803604491 hasOpenAccess W2803604491 @default.
- W2803604491 hasPrimaryLocation W28036044911 @default.
- W2803604491 hasRelatedWork W2019741149 @default.
- W2803604491 hasRelatedWork W2030445287 @default.
- W2803604491 hasRelatedWork W2075204971 @default.
- W2803604491 hasRelatedWork W2097212968 @default.
- W2803604491 hasRelatedWork W2128937477 @default.
- W2803604491 hasRelatedWork W2159020094 @default.
- W2803604491 hasRelatedWork W2902618432 @default.
- W2803604491 hasRelatedWork W2903280113 @default.
- W2803604491 hasRelatedWork W2933948684 @default.
- W2803604491 hasRelatedWork W2953078492 @default.
- W2803604491 hasRelatedWork W2956865288 @default.
- W2803604491 hasRelatedWork W2963195926 @default.
- W2803604491 hasRelatedWork W2963487015 @default.
- W2803604491 hasRelatedWork W2963525026 @default.
- W2803604491 hasRelatedWork W2981665229 @default.
- W2803604491 hasRelatedWork W3025671774 @default.
- W2803604491 hasRelatedWork W3029800901 @default.
- W2803604491 hasRelatedWork W3105212949 @default.
- W2803604491 hasRelatedWork W3122721158 @default.
- W2803604491 hasRelatedWork W778828832 @default.
- W2803604491 isParatext "false" @default.
- W2803604491 isRetracted "false" @default.
- W2803604491 magId "2803604491" @default.
- W2803604491 workType "article" @default.