FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000232009> ?p ?o ?g. }

• W2000232009 endingPage "4625" @default.
• W2000232009 startingPage "4608" @default.
• W2000232009 abstract "This paper describes several classes of term rewriting systems (TRS’s), where narrowing has a finite search space and is still (strongly) complete as a mechanism for solving reachability goals. These classes do not assume confluence of the TRS. We also ascertain purely syntactic criteria that suffice to ensure the termination of narrowing, and include several subclasses of popular TRS’s such as right-linear TRS’s, almost orthogonal TRS’s, topmost TRS’s, and left-flat TRS’s. Our results improve and/or generalize previous criteria in the literature regarding narrowing termination." @default.
• W2000232009 created "2016-06-24" @default.
• W2000232009 creator A5032149189 @default.
• W2000232009 creator A5033696911 @default.
• W2000232009 creator A5091633756 @default.
• W2000232009 date "2009-11-01" @default.
• W2000232009 modified "2023-10-15" @default.
• W2000232009 title "Termination of narrowing revisited" @default.
• W2000232009 cites W100098737 @default.
• W2000232009 cites W107992588 @default.
• W2000232009 cites W111955572 @default.
• W2000232009 cites W126161224 @default.
• W2000232009 cites W1479740358 @default.
• W2000232009 cites W1487710080 @default.
• W2000232009 cites W1488313539 @default.
• W2000232009 cites W1511310632 @default.
• W2000232009 cites W1513315908 @default.
• W2000232009 cites W1538694434 @default.
• W2000232009 cites W1542860133 @default.
• W2000232009 cites W1548910228 @default.
• W2000232009 cites W1552961498 @default.
• W2000232009 cites W1556536463 @default.
• W2000232009 cites W1569990888 @default.
• W2000232009 cites W1583295953 @default.
• W2000232009 cites W1595402260 @default.
• W2000232009 cites W1721213516 @default.
• W2000232009 cites W1808520879 @default.
• W2000232009 cites W1924375494 @default.
• W2000232009 cites W1968386045 @default.
• W2000232009 cites W1972733422 @default.
• W2000232009 cites W1985929555 @default.
• W2000232009 cites W2005822708 @default.
• W2000232009 cites W2016433302 @default.
• W2000232009 cites W2031825596 @default.
• W2000232009 cites W2042987983 @default.
• W2000232009 cites W2058459987 @default.
• W2000232009 cites W2059799630 @default.
• W2000232009 cites W2067151481 @default.
• W2000232009 cites W2078944436 @default.
• W2000232009 cites W2080725351 @default.
• W2000232009 cites W2090855107 @default.
• W2000232009 cites W2104289907 @default.
• W2000232009 cites W2116776985 @default.
• W2000232009 cites W2120926795 @default.
• W2000232009 cites W2121757274 @default.
• W2000232009 cites W2123396057 @default.
• W2000232009 cites W2132750992 @default.
• W2000232009 cites W2133652713 @default.
• W2000232009 cites W2144728035 @default.
• W2000232009 cites W2146005157 @default.
• W2000232009 cites W2158542561 @default.
• W2000232009 cites W2507006525 @default.
• W2000232009 cites W26772505 @default.
• W2000232009 cites W2912818154 @default.
• W2000232009 cites W2914314632 @default.
• W2000232009 cites W3118440847 @default.
• W2000232009 cites W598205067 @default.
• W2000232009 cites W2787105657 @default.
• W2000232009 doi "https://doi.org/10.1016/j.tcs.2009.07.037" @default.
• W2000232009 hasPublicationYear "2009" @default.
• W2000232009 type Work @default.
• W2000232009 sameAs 2000232009 @default.
• W2000232009 citedByCount "19" @default.
• W2000232009 countsByYear W20002320092012 @default.
• W2000232009 countsByYear W20002320092015 @default.
• W2000232009 countsByYear W20002320092016 @default.
• W2000232009 countsByYear W20002320092018 @default.
• W2000232009 countsByYear W20002320092019 @default.
• W2000232009 countsByYear W20002320092020 @default.
• W2000232009 countsByYear W20002320092021 @default.
• W2000232009 countsByYear W20002320092022 @default.
• W2000232009 countsByYear W20002320092023 @default.
• W2000232009 crossrefType "journal-article" @default.
• W2000232009 hasAuthorship W2000232009A5032149189 @default.
• W2000232009 hasAuthorship W2000232009A5033696911 @default.
• W2000232009 hasAuthorship W2000232009A5091633756 @default.
• W2000232009 hasConcept C111919701 @default.
• W2000232009 hasConcept C11413529 @default.
• W2000232009 hasConcept C118615104 @default.
• W2000232009 hasConcept C121332964 @default.
• W2000232009 hasConcept C136119220 @default.
• W2000232009 hasConcept C136643341 @default.
• W2000232009 hasConcept C154690210 @default.
• W2000232009 hasConcept C199343813 @default.
• W2000232009 hasConcept C199360897 @default.
• W2000232009 hasConcept C202444582 @default.
• W2000232009 hasConcept C2777669093 @default.
• W2000232009 hasConcept C2777686260 @default.
• W2000232009 hasConcept C2778572836 @default.
• W2000232009 hasConcept C33923547 @default.
• W2000232009 hasConcept C41008148 @default.
• W2000232009 hasConcept C61797465 @default.
• W2000232009 hasConcept C62520636 @default.
• W2000232009 hasConcept C71924100 @default.
• W2000232009 hasConcept C77906462 @default.
• W2000232009 hasConceptScore W2000232009C111919701 @default.
• W2000232009 hasConceptScore W2000232009C11413529 @default.
• W2000232009 hasConceptScore W2000232009C118615104 @default.

• next