Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249555655> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4249555655 endingPage "179" @default.
- W4249555655 startingPage "163" @default.
- W4249555655 abstract "We propose a method called back-and-forth narrowing for solving reachability goals of the form ( ∃ x → ) . t 1 → * t 1 ′ ∧ ⋯ ∧ t n → * t n ′ in general term rewrite systems. The method is a complete semi-decision procedure in the sense that it is guaranteed to find a solution when one exists, but in general it may not terminate when there are no solutions. The completeness result is very general in that it makes no assumptions about the given term rewrite system. Specifically, the rewrite rules need not be linear, confluent, or terminating, and can even have extra-variables in the right-hand side. Such generality is often essential while modeling concurrent systems or axiomatizing inference systems as rewrite rules, and in such applications back-and-forth narrowing can be used as a sound and complete technique for symbolic reachability analysis or as a deductive procedure for proving existential formulae." @default.
- W4249555655 created "2022-05-12" @default.
- W4249555655 creator A5007839082 @default.
- W4249555655 creator A5073631054 @default.
- W4249555655 date "2006-11-01" @default.
- W4249555655 modified "2023-09-29" @default.
- W4249555655 title "Complete symbolic reachability analysis using back-and-forth narrowing" @default.
- W4249555655 cites W1483180838 @default.
- W4249555655 cites W1513315908 @default.
- W4249555655 cites W1570994654 @default.
- W4249555655 cites W1581724852 @default.
- W4249555655 cites W1586583492 @default.
- W4249555655 cites W1588459895 @default.
- W4249555655 cites W1596011221 @default.
- W4249555655 cites W1782998868 @default.
- W4249555655 cites W1881102326 @default.
- W4249555655 cites W1967174286 @default.
- W4249555655 cites W1971427863 @default.
- W4249555655 cites W1986376232 @default.
- W4249555655 cites W1992085465 @default.
- W4249555655 cites W2003915781 @default.
- W4249555655 cites W2029693536 @default.
- W4249555655 cites W2036572937 @default.
- W4249555655 cites W2084027431 @default.
- W4249555655 cites W2102574149 @default.
- W4249555655 cites W4210350596 @default.
- W4249555655 cites W4213232664 @default.
- W4249555655 doi "https://doi.org/10.1016/j.tcs.2006.07.008" @default.
- W4249555655 hasPublicationYear "2006" @default.
- W4249555655 type Work @default.
- W4249555655 citedByCount "4" @default.
- W4249555655 countsByYear W42495556552012 @default.
- W4249555655 countsByYear W42495556552017 @default.
- W4249555655 countsByYear W42495556552020 @default.
- W4249555655 crossrefType "journal-article" @default.
- W4249555655 hasAuthorship W4249555655A5007839082 @default.
- W4249555655 hasAuthorship W4249555655A5073631054 @default.
- W4249555655 hasBestOaLocation W42495556551 @default.
- W4249555655 hasConcept C110251889 @default.
- W4249555655 hasConcept C11413529 @default.
- W4249555655 hasConcept C136119220 @default.
- W4249555655 hasConcept C136643341 @default.
- W4249555655 hasConcept C199360897 @default.
- W4249555655 hasConcept C202444582 @default.
- W4249555655 hasConcept C23123167 @default.
- W4249555655 hasConcept C2777669093 @default.
- W4249555655 hasConcept C2777904410 @default.
- W4249555655 hasConcept C2779639559 @default.
- W4249555655 hasConcept C33923547 @default.
- W4249555655 hasConcept C41008148 @default.
- W4249555655 hasConcept C65620979 @default.
- W4249555655 hasConcept C80444323 @default.
- W4249555655 hasConceptScore W4249555655C110251889 @default.
- W4249555655 hasConceptScore W4249555655C11413529 @default.
- W4249555655 hasConceptScore W4249555655C136119220 @default.
- W4249555655 hasConceptScore W4249555655C136643341 @default.
- W4249555655 hasConceptScore W4249555655C199360897 @default.
- W4249555655 hasConceptScore W4249555655C202444582 @default.
- W4249555655 hasConceptScore W4249555655C23123167 @default.
- W4249555655 hasConceptScore W4249555655C2777669093 @default.
- W4249555655 hasConceptScore W4249555655C2777904410 @default.
- W4249555655 hasConceptScore W4249555655C2779639559 @default.
- W4249555655 hasConceptScore W4249555655C33923547 @default.
- W4249555655 hasConceptScore W4249555655C41008148 @default.
- W4249555655 hasConceptScore W4249555655C65620979 @default.
- W4249555655 hasConceptScore W4249555655C80444323 @default.
- W4249555655 hasIssue "1-2" @default.
- W4249555655 hasLocation W42495556551 @default.
- W4249555655 hasOpenAccess W4249555655 @default.
- W4249555655 hasPrimaryLocation W42495556551 @default.
- W4249555655 hasRelatedWork W1487107396 @default.
- W4249555655 hasRelatedWork W1503128752 @default.
- W4249555655 hasRelatedWork W1576596005 @default.
- W4249555655 hasRelatedWork W1987745246 @default.
- W4249555655 hasRelatedWork W1994225657 @default.
- W4249555655 hasRelatedWork W2138652276 @default.
- W4249555655 hasRelatedWork W2366636896 @default.
- W4249555655 hasRelatedWork W2772294324 @default.
- W4249555655 hasRelatedWork W2793381896 @default.
- W4249555655 hasRelatedWork W4249555655 @default.
- W4249555655 hasVolume "366" @default.
- W4249555655 isParatext "false" @default.
- W4249555655 isRetracted "false" @default.
- W4249555655 workType "article" @default.