Matches in SemOpenAlex for { <https://semopenalex.org/work/W5060831> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W5060831 endingPage "155" @default.
- W5060831 startingPage "138" @default.
- W5060831 abstract "In this paper, we propose methods for proving termination of constrained term rewriting systems, where constraints are interpreted by built-in semantics given by users, and rewrite rules are assumed to be sound for the interpretation. To this end, we extend the dependency pair framework for proving termination of unconstrained term rewriting systems to constrained term rewriting systems. Moreover, we extend the dependency pair framework so that dependency pair processors take a subgraph of the dependency graph as input and they output a finite set of graphs which can be obtained by eliminating nodes and/or edges from the input graph." @default.
- W5060831 created "2016-06-24" @default.
- W5060831 creator A5034176636 @default.
- W5060831 creator A5086203318 @default.
- W5060831 creator A5087763144 @default.
- W5060831 date "2011-01-01" @default.
- W5060831 modified "2023-09-26" @default.
- W5060831 title "On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs" @default.
- W5060831 cites W1489107600 @default.
- W5060831 cites W1489253037 @default.
- W5060831 cites W1496435538 @default.
- W5060831 cites W1505286461 @default.
- W5060831 cites W1510057365 @default.
- W5060831 cites W1543930431 @default.
- W5060831 cites W1552961498 @default.
- W5060831 cites W1556936708 @default.
- W5060831 cites W1565192554 @default.
- W5060831 cites W1567371806 @default.
- W5060831 cites W1583436687 @default.
- W5060831 cites W1587451605 @default.
- W5060831 cites W1606338408 @default.
- W5060831 cites W1989213510 @default.
- W5060831 cites W2031385999 @default.
- W5060831 cites W2068188619 @default.
- W5060831 cites W2087458172 @default.
- W5060831 cites W2090855107 @default.
- W5060831 cites W2091691231 @default.
- W5060831 cites W2099083823 @default.
- W5060831 cites W2164290630 @default.
- W5060831 cites W2911880377 @default.
- W5060831 cites W3083139518 @default.
- W5060831 cites W4230919050 @default.
- W5060831 cites W91193428 @default.
- W5060831 doi "https://doi.org/10.1007/978-3-642-22531-4_9" @default.
- W5060831 hasPublicationYear "2011" @default.
- W5060831 type Work @default.
- W5060831 sameAs 5060831 @default.
- W5060831 citedByCount "10" @default.
- W5060831 countsByYear W50608312012 @default.
- W5060831 countsByYear W50608312013 @default.
- W5060831 countsByYear W50608312014 @default.
- W5060831 countsByYear W50608312016 @default.
- W5060831 countsByYear W50608312018 @default.
- W5060831 crossrefType "book-chapter" @default.
- W5060831 hasAuthorship W5060831A5034176636 @default.
- W5060831 hasAuthorship W5060831A5086203318 @default.
- W5060831 hasAuthorship W5060831A5087763144 @default.
- W5060831 hasConcept C121332964 @default.
- W5060831 hasConcept C132525143 @default.
- W5060831 hasConcept C154945302 @default.
- W5060831 hasConcept C16311509 @default.
- W5060831 hasConcept C19768560 @default.
- W5060831 hasConcept C33923547 @default.
- W5060831 hasConcept C41008148 @default.
- W5060831 hasConcept C61797465 @default.
- W5060831 hasConcept C62520636 @default.
- W5060831 hasConcept C80444323 @default.
- W5060831 hasConceptScore W5060831C121332964 @default.
- W5060831 hasConceptScore W5060831C132525143 @default.
- W5060831 hasConceptScore W5060831C154945302 @default.
- W5060831 hasConceptScore W5060831C16311509 @default.
- W5060831 hasConceptScore W5060831C19768560 @default.
- W5060831 hasConceptScore W5060831C33923547 @default.
- W5060831 hasConceptScore W5060831C41008148 @default.
- W5060831 hasConceptScore W5060831C61797465 @default.
- W5060831 hasConceptScore W5060831C62520636 @default.
- W5060831 hasConceptScore W5060831C80444323 @default.
- W5060831 hasLocation W50608311 @default.
- W5060831 hasOpenAccess W5060831 @default.
- W5060831 hasPrimaryLocation W50608311 @default.
- W5060831 hasRelatedWork W1529400504 @default.
- W5060831 hasRelatedWork W1561943345 @default.
- W5060831 hasRelatedWork W2159078082 @default.
- W5060831 hasRelatedWork W2200456380 @default.
- W5060831 hasRelatedWork W2251429856 @default.
- W5060831 hasRelatedWork W2383067397 @default.
- W5060831 hasRelatedWork W2888625260 @default.
- W5060831 hasRelatedWork W2903136963 @default.
- W5060831 hasRelatedWork W63071447 @default.
- W5060831 hasRelatedWork W65617392 @default.
- W5060831 isParatext "false" @default.
- W5060831 isRetracted "false" @default.
- W5060831 magId "5060831" @default.
- W5060831 workType "book-chapter" @default.