Matches in SemOpenAlex for { <https://semopenalex.org/work/W1496191775> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1496191775 abstract "We relate Kamin and Levy’s original presentation of lexicographic path orders (LPO), using an inductive definition, to a presentation, which we will refer to as iterative lexicographic path orders (ILPO), based on Bergstra and Klop’s definition of recursive path orders by way of an auxiliary term rewriting sytem." @default.
- W1496191775 created "2016-06-24" @default.
- W1496191775 creator A5010323309 @default.
- W1496191775 creator A5013710541 @default.
- W1496191775 creator A5073597105 @default.
- W1496191775 date "2006-01-01" @default.
- W1496191775 modified "2023-09-23" @default.
- W1496191775 title "Iterative Lexicographic Path Orders" @default.
- W1496191775 cites W1562318894 @default.
- W1496191775 cites W1583295953 @default.
- W1496191775 cites W178720230 @default.
- W1496191775 cites W1968714331 @default.
- W1496191775 cites W1992696924 @default.
- W1496191775 cites W2086747974 @default.
- W1496191775 cites W2098726192 @default.
- W1496191775 cites W2126018011 @default.
- W1496191775 cites W2132750992 @default.
- W1496191775 cites W2143777429 @default.
- W1496191775 cites W2912818154 @default.
- W1496191775 cites W598205067 @default.
- W1496191775 doi "https://doi.org/10.1007/11780274_28" @default.
- W1496191775 hasPublicationYear "2006" @default.
- W1496191775 type Work @default.
- W1496191775 sameAs 1496191775 @default.
- W1496191775 citedByCount "6" @default.
- W1496191775 countsByYear W14961917752012 @default.
- W1496191775 countsByYear W14961917752014 @default.
- W1496191775 countsByYear W14961917752020 @default.
- W1496191775 crossrefType "book-chapter" @default.
- W1496191775 hasAuthorship W1496191775A5010323309 @default.
- W1496191775 hasAuthorship W1496191775A5013710541 @default.
- W1496191775 hasAuthorship W1496191775A5073597105 @default.
- W1496191775 hasConcept C11413529 @default.
- W1496191775 hasConcept C114614502 @default.
- W1496191775 hasConcept C121332964 @default.
- W1496191775 hasConcept C126255220 @default.
- W1496191775 hasConcept C126838900 @default.
- W1496191775 hasConcept C132525143 @default.
- W1496191775 hasConcept C1465435 @default.
- W1496191775 hasConcept C154690210 @default.
- W1496191775 hasConcept C159254197 @default.
- W1496191775 hasConcept C159694833 @default.
- W1496191775 hasConcept C199360897 @default.
- W1496191775 hasConcept C22590252 @default.
- W1496191775 hasConcept C2777601897 @default.
- W1496191775 hasConcept C2777735758 @default.
- W1496191775 hasConcept C33923547 @default.
- W1496191775 hasConcept C41008148 @default.
- W1496191775 hasConcept C61797465 @default.
- W1496191775 hasConcept C62520636 @default.
- W1496191775 hasConcept C71924100 @default.
- W1496191775 hasConcept C80444323 @default.
- W1496191775 hasConceptScore W1496191775C11413529 @default.
- W1496191775 hasConceptScore W1496191775C114614502 @default.
- W1496191775 hasConceptScore W1496191775C121332964 @default.
- W1496191775 hasConceptScore W1496191775C126255220 @default.
- W1496191775 hasConceptScore W1496191775C126838900 @default.
- W1496191775 hasConceptScore W1496191775C132525143 @default.
- W1496191775 hasConceptScore W1496191775C1465435 @default.
- W1496191775 hasConceptScore W1496191775C154690210 @default.
- W1496191775 hasConceptScore W1496191775C159254197 @default.
- W1496191775 hasConceptScore W1496191775C159694833 @default.
- W1496191775 hasConceptScore W1496191775C199360897 @default.
- W1496191775 hasConceptScore W1496191775C22590252 @default.
- W1496191775 hasConceptScore W1496191775C2777601897 @default.
- W1496191775 hasConceptScore W1496191775C2777735758 @default.
- W1496191775 hasConceptScore W1496191775C33923547 @default.
- W1496191775 hasConceptScore W1496191775C41008148 @default.
- W1496191775 hasConceptScore W1496191775C61797465 @default.
- W1496191775 hasConceptScore W1496191775C62520636 @default.
- W1496191775 hasConceptScore W1496191775C71924100 @default.
- W1496191775 hasConceptScore W1496191775C80444323 @default.
- W1496191775 hasLocation W14961917751 @default.
- W1496191775 hasOpenAccess W1496191775 @default.
- W1496191775 hasPrimaryLocation W14961917751 @default.
- W1496191775 hasRelatedWork W1496191775 @default.
- W1496191775 hasRelatedWork W1984246092 @default.
- W1496191775 hasRelatedWork W2057820268 @default.
- W1496191775 hasRelatedWork W2094877183 @default.
- W1496191775 hasRelatedWork W2176893360 @default.
- W1496191775 hasRelatedWork W2188969875 @default.
- W1496191775 hasRelatedWork W2748952813 @default.
- W1496191775 hasRelatedWork W2951826204 @default.
- W1496191775 hasRelatedWork W3004630167 @default.
- W1496191775 hasRelatedWork W2290776516 @default.
- W1496191775 isParatext "false" @default.
- W1496191775 isRetracted "false" @default.
- W1496191775 magId "1496191775" @default.
- W1496191775 workType "book-chapter" @default.