Matches in SemOpenAlex for { <https://semopenalex.org/work/W2885381454> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2885381454 endingPage "37" @default.
- W2885381454 startingPage "22" @default.
- W2885381454 abstract "In this paper, we reconsider the unfolding-based technique that we have introduced previously for detecting loops in standard term rewriting. We modify it by guiding the unfolding process, using disagreement pairs in rewrite rules. This results in a partial computation of the unfoldings, whereas the original technique consists of a thorough computation followed by a mechanism for eliminating some rules. We have implemented this new approach in our tool NTI and conducted successful experiments on a large set of term rewrite systems." @default.
- W2885381454 created "2018-08-22" @default.
- W2885381454 creator A5063276563 @default.
- W2885381454 date "2019-01-01" @default.
- W2885381454 modified "2023-09-25" @default.
- W2885381454 title "Guided Unfoldings for Finding Loops in Standard Term Rewriting" @default.
- W2885381454 cites W1508261706 @default.
- W2885381454 cites W1585798739 @default.
- W2885381454 cites W1972319677 @default.
- W2885381454 cites W2080725351 @default.
- W2885381454 cites W2090626768 @default.
- W2885381454 cites W2090855107 @default.
- W2885381454 cites W2533836568 @default.
- W2885381454 cites W2914435326 @default.
- W2885381454 cites W4230919050 @default.
- W2885381454 doi "https://doi.org/10.1007/978-3-030-13838-7_2" @default.
- W2885381454 hasPublicationYear "2019" @default.
- W2885381454 type Work @default.
- W2885381454 sameAs 2885381454 @default.
- W2885381454 citedByCount "0" @default.
- W2885381454 crossrefType "book-chapter" @default.
- W2885381454 hasAuthorship W2885381454A5063276563 @default.
- W2885381454 hasBestOaLocation W28853814542 @default.
- W2885381454 hasConcept C11413529 @default.
- W2885381454 hasConcept C114614502 @default.
- W2885381454 hasConcept C121332964 @default.
- W2885381454 hasConcept C154690210 @default.
- W2885381454 hasConcept C177264268 @default.
- W2885381454 hasConcept C184670325 @default.
- W2885381454 hasConcept C199360897 @default.
- W2885381454 hasConcept C33923547 @default.
- W2885381454 hasConcept C41008148 @default.
- W2885381454 hasConcept C45374587 @default.
- W2885381454 hasConcept C61797465 @default.
- W2885381454 hasConcept C62520636 @default.
- W2885381454 hasConcept C80444323 @default.
- W2885381454 hasConcept C98045186 @default.
- W2885381454 hasConceptScore W2885381454C11413529 @default.
- W2885381454 hasConceptScore W2885381454C114614502 @default.
- W2885381454 hasConceptScore W2885381454C121332964 @default.
- W2885381454 hasConceptScore W2885381454C154690210 @default.
- W2885381454 hasConceptScore W2885381454C177264268 @default.
- W2885381454 hasConceptScore W2885381454C184670325 @default.
- W2885381454 hasConceptScore W2885381454C199360897 @default.
- W2885381454 hasConceptScore W2885381454C33923547 @default.
- W2885381454 hasConceptScore W2885381454C41008148 @default.
- W2885381454 hasConceptScore W2885381454C45374587 @default.
- W2885381454 hasConceptScore W2885381454C61797465 @default.
- W2885381454 hasConceptScore W2885381454C62520636 @default.
- W2885381454 hasConceptScore W2885381454C80444323 @default.
- W2885381454 hasConceptScore W2885381454C98045186 @default.
- W2885381454 hasLocation W28853814541 @default.
- W2885381454 hasLocation W28853814542 @default.
- W2885381454 hasLocation W28853814543 @default.
- W2885381454 hasLocation W28853814544 @default.
- W2885381454 hasOpenAccess W2885381454 @default.
- W2885381454 hasPrimaryLocation W28853814541 @default.
- W2885381454 hasRelatedWork W2013111119 @default.
- W2885381454 hasRelatedWork W2024875518 @default.
- W2885381454 hasRelatedWork W2108174561 @default.
- W2885381454 hasRelatedWork W2367576865 @default.
- W2885381454 hasRelatedWork W2885381454 @default.
- W2885381454 hasRelatedWork W4226436121 @default.
- W2885381454 hasRelatedWork W4231865403 @default.
- W2885381454 hasRelatedWork W4240242535 @default.
- W2885381454 hasRelatedWork W4251805752 @default.
- W2885381454 hasRelatedWork W4313597277 @default.
- W2885381454 isParatext "false" @default.
- W2885381454 isRetracted "false" @default.
- W2885381454 magId "2885381454" @default.
- W2885381454 workType "book-chapter" @default.