Matches in SemOpenAlex for { <https://semopenalex.org/work/W42465629> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W42465629 endingPage "36" @default.
- W42465629 startingPage "31" @default.
- W42465629 abstract "Term rewriting systems with extra variables are useful in encoding operators for inverse compu- tation. Their ground rewrite sequences can be simulated by narrowing sequences. In this paper, we reflne the dependency pair method for proving termination of narrowing and extend the dependency graph method for proving termination of rewriting to a method for narrowing." @default.
- W42465629 created "2016-06-24" @default.
- W42465629 creator A5031055820 @default.
- W42465629 creator A5031676206 @default.
- W42465629 creator A5034176636 @default.
- W42465629 creator A5054861254 @default.
- W42465629 creator A5087763144 @default.
- W42465629 date "2005-06-17" @default.
- W42465629 modified "2023-09-23" @default.
- W42465629 title "Dependency Graph Method for Proving Termination of Narrowing" @default.
- W42465629 cites W1481869731 @default.
- W42465629 cites W1487710080 @default.
- W42465629 cites W1489107600 @default.
- W42465629 cites W1499136777 @default.
- W42465629 cites W1513315908 @default.
- W42465629 cites W1521232193 @default.
- W42465629 cites W1552961498 @default.
- W42465629 cites W1583295953 @default.
- W42465629 cites W1993634373 @default.
- W42465629 cites W2090855107 @default.
- W42465629 cites W2106078552 @default.
- W42465629 cites W2583871927 @default.
- W42465629 cites W7480855 @default.
- W42465629 hasPublicationYear "2005" @default.
- W42465629 type Work @default.
- W42465629 sameAs 42465629 @default.
- W42465629 citedByCount "3" @default.
- W42465629 countsByYear W424656292015 @default.
- W42465629 crossrefType "journal-article" @default.
- W42465629 hasAuthorship W42465629A5031055820 @default.
- W42465629 hasAuthorship W42465629A5031676206 @default.
- W42465629 hasAuthorship W42465629A5034176636 @default.
- W42465629 hasAuthorship W42465629A5054861254 @default.
- W42465629 hasAuthorship W42465629A5087763144 @default.
- W42465629 hasConcept C11413529 @default.
- W42465629 hasConcept C121332964 @default.
- W42465629 hasConcept C132525143 @default.
- W42465629 hasConcept C154690210 @default.
- W42465629 hasConcept C154945302 @default.
- W42465629 hasConcept C16311509 @default.
- W42465629 hasConcept C19768560 @default.
- W42465629 hasConcept C199360897 @default.
- W42465629 hasConcept C33923547 @default.
- W42465629 hasConcept C41008148 @default.
- W42465629 hasConcept C558772884 @default.
- W42465629 hasConcept C61797465 @default.
- W42465629 hasConcept C62520636 @default.
- W42465629 hasConcept C77906462 @default.
- W42465629 hasConcept C80444323 @default.
- W42465629 hasConceptScore W42465629C11413529 @default.
- W42465629 hasConceptScore W42465629C121332964 @default.
- W42465629 hasConceptScore W42465629C132525143 @default.
- W42465629 hasConceptScore W42465629C154690210 @default.
- W42465629 hasConceptScore W42465629C154945302 @default.
- W42465629 hasConceptScore W42465629C16311509 @default.
- W42465629 hasConceptScore W42465629C19768560 @default.
- W42465629 hasConceptScore W42465629C199360897 @default.
- W42465629 hasConceptScore W42465629C33923547 @default.
- W42465629 hasConceptScore W42465629C41008148 @default.
- W42465629 hasConceptScore W42465629C558772884 @default.
- W42465629 hasConceptScore W42465629C61797465 @default.
- W42465629 hasConceptScore W42465629C62520636 @default.
- W42465629 hasConceptScore W42465629C77906462 @default.
- W42465629 hasConceptScore W42465629C80444323 @default.
- W42465629 hasIssue "129" @default.
- W42465629 hasLocation W424656291 @default.
- W42465629 hasOpenAccess W42465629 @default.
- W42465629 hasPrimaryLocation W424656291 @default.
- W42465629 hasRelatedWork W1489202196 @default.
- W42465629 hasRelatedWork W1493847381 @default.
- W42465629 hasRelatedWork W1548910228 @default.
- W42465629 hasRelatedWork W1554593997 @default.
- W42465629 hasRelatedWork W1589194996 @default.
- W42465629 hasRelatedWork W1892882113 @default.
- W42465629 hasRelatedWork W1993634373 @default.
- W42465629 hasRelatedWork W2001932052 @default.
- W42465629 hasRelatedWork W2012002346 @default.
- W42465629 hasRelatedWork W2064885482 @default.
- W42465629 hasRelatedWork W2084833937 @default.
- W42465629 hasRelatedWork W2090855107 @default.
- W42465629 hasRelatedWork W2333572417 @default.
- W42465629 hasRelatedWork W2800121675 @default.
- W42465629 hasRelatedWork W2945210175 @default.
- W42465629 hasRelatedWork W3104761863 @default.
- W42465629 hasRelatedWork W3147734083 @default.
- W42465629 hasRelatedWork W610518827 @default.
- W42465629 hasRelatedWork W78174217 @default.
- W42465629 hasRelatedWork W799904898 @default.
- W42465629 hasVolume "105" @default.
- W42465629 isParatext "false" @default.
- W42465629 isRetracted "false" @default.
- W42465629 magId "42465629" @default.
- W42465629 workType "article" @default.