Matches in SemOpenAlex for { <https://semopenalex.org/work/W1779897400> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1779897400 abstract "We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating well-foundedness of unions of relations. To that end, we develop the notion of a constricting sequence. These results can be applied, for example, to generic path orderings used in termination proofs." @default.
- W1779897400 created "2016-06-24" @default.
- W1779897400 creator A5039993352 @default.
- W1779897400 date "2009-01-01" @default.
- W1779897400 modified "2023-09-25" @default.
- W1779897400 title "On Lazy Commutation" @default.
- W1779897400 cites W1481059806 @default.
- W1779897400 cites W1521250667 @default.
- W1779897400 cites W1553023270 @default.
- W1779897400 cites W1554657306 @default.
- W1779897400 cites W1581421871 @default.
- W1779897400 cites W1600801728 @default.
- W1779897400 cites W1762247992 @default.
- W1779897400 cites W1896024878 @default.
- W1779897400 cites W1967109918 @default.
- W1779897400 cites W1979101142 @default.
- W1779897400 cites W2014030742 @default.
- W1779897400 cites W2017234404 @default.
- W1779897400 cites W2022060249 @default.
- W1779897400 cites W2028125880 @default.
- W1779897400 cites W2086747974 @default.
- W1779897400 cites W2090855107 @default.
- W1779897400 cites W2098726192 @default.
- W1779897400 cites W2099163661 @default.
- W1779897400 cites W2121757274 @default.
- W1779897400 cites W2151061627 @default.
- W1779897400 cites W2163841074 @default.
- W1779897400 cites W2165176212 @default.
- W1779897400 cites W2323378191 @default.
- W1779897400 cites W2913116145 @default.
- W1779897400 cites W88748147 @default.
- W1779897400 doi "https://doi.org/10.1007/978-3-642-01748-3_5" @default.
- W1779897400 hasPublicationYear "2009" @default.
- W1779897400 type Work @default.
- W1779897400 sameAs 1779897400 @default.
- W1779897400 citedByCount "2" @default.
- W1779897400 countsByYear W17798974002012 @default.
- W1779897400 countsByYear W17798974002013 @default.
- W1779897400 crossrefType "book-chapter" @default.
- W1779897400 hasAuthorship W1779897400A5039993352 @default.
- W1779897400 hasConcept C108710211 @default.
- W1779897400 hasConcept C11413529 @default.
- W1779897400 hasConcept C119599485 @default.
- W1779897400 hasConcept C127413603 @default.
- W1779897400 hasConcept C165801399 @default.
- W1779897400 hasConcept C199360897 @default.
- W1779897400 hasConcept C2524010 @default.
- W1779897400 hasConcept C2777735758 @default.
- W1779897400 hasConcept C2778112365 @default.
- W1779897400 hasConcept C2780147050 @default.
- W1779897400 hasConcept C33923547 @default.
- W1779897400 hasConcept C41008148 @default.
- W1779897400 hasConcept C54355233 @default.
- W1779897400 hasConcept C80444323 @default.
- W1779897400 hasConcept C86803240 @default.
- W1779897400 hasConceptScore W1779897400C108710211 @default.
- W1779897400 hasConceptScore W1779897400C11413529 @default.
- W1779897400 hasConceptScore W1779897400C119599485 @default.
- W1779897400 hasConceptScore W1779897400C127413603 @default.
- W1779897400 hasConceptScore W1779897400C165801399 @default.
- W1779897400 hasConceptScore W1779897400C199360897 @default.
- W1779897400 hasConceptScore W1779897400C2524010 @default.
- W1779897400 hasConceptScore W1779897400C2777735758 @default.
- W1779897400 hasConceptScore W1779897400C2778112365 @default.
- W1779897400 hasConceptScore W1779897400C2780147050 @default.
- W1779897400 hasConceptScore W1779897400C33923547 @default.
- W1779897400 hasConceptScore W1779897400C41008148 @default.
- W1779897400 hasConceptScore W1779897400C54355233 @default.
- W1779897400 hasConceptScore W1779897400C80444323 @default.
- W1779897400 hasConceptScore W1779897400C86803240 @default.
- W1779897400 hasLocation W17798974001 @default.
- W1779897400 hasOpenAccess W1779897400 @default.
- W1779897400 hasPrimaryLocation W17798974001 @default.
- W1779897400 hasRelatedWork W1513636380 @default.
- W1779897400 hasRelatedWork W1539196615 @default.
- W1779897400 hasRelatedWork W1581435998 @default.
- W1779897400 hasRelatedWork W1616876859 @default.
- W1779897400 hasRelatedWork W1834328158 @default.
- W1779897400 hasRelatedWork W1896024878 @default.
- W1779897400 hasRelatedWork W2002483665 @default.
- W1779897400 hasRelatedWork W2012569382 @default.
- W1779897400 hasRelatedWork W2052665996 @default.
- W1779897400 hasRelatedWork W2098726192 @default.
- W1779897400 hasRelatedWork W2224398717 @default.
- W1779897400 hasRelatedWork W2472643065 @default.
- W1779897400 hasRelatedWork W2584231289 @default.
- W1779897400 hasRelatedWork W2610461718 @default.
- W1779897400 hasRelatedWork W2732429328 @default.
- W1779897400 hasRelatedWork W2795920969 @default.
- W1779897400 hasRelatedWork W3000404012 @default.
- W1779897400 hasRelatedWork W3104411811 @default.
- W1779897400 hasRelatedWork W3105385839 @default.
- W1779897400 hasRelatedWork W43855031 @default.
- W1779897400 isParatext "false" @default.
- W1779897400 isRetracted "false" @default.
- W1779897400 magId "1779897400" @default.
- W1779897400 workType "book-chapter" @default.