Matches in SemOpenAlex for { <https://semopenalex.org/work/W2517733820> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2517733820 abstract "In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and termination in binary and decimal term rewriting systems for both append and tree constructor functions. We find that some of these term rewriting systems are not strongly terminating, which we resolve with minor changes to these systems. Moreover, most of the term rewriting systems discussed do not exhibit the confluence property, which seems more difficult to resolve." @default.
- W2517733820 created "2016-09-16" @default.
- W2517733820 creator A5000591379 @default.
- W2517733820 creator A5080430760 @default.
- W2517733820 date "2016-07-15" @default.
- W2517733820 modified "2023-10-02" @default.
- W2517733820 title "Number representations and term rewriting." @default.
- W2517733820 cites W1583295953 @default.
- W2517733820 cites W1968386045 @default.
- W2517733820 cites W2054939514 @default.
- W2517733820 cites W2597116638 @default.
- W2517733820 cites W91193428 @default.
- W2517733820 hasPublicationYear "2016" @default.
- W2517733820 type Work @default.
- W2517733820 sameAs 2517733820 @default.
- W2517733820 citedByCount "1" @default.
- W2517733820 countsByYear W25177338202016 @default.
- W2517733820 crossrefType "posted-content" @default.
- W2517733820 hasAuthorship W2517733820A5000591379 @default.
- W2517733820 hasAuthorship W2517733820A5080430760 @default.
- W2517733820 hasConcept C121332964 @default.
- W2517733820 hasConcept C154690210 @default.
- W2517733820 hasConcept C159333733 @default.
- W2517733820 hasConcept C199360897 @default.
- W2517733820 hasConcept C2777998813 @default.
- W2517733820 hasConcept C33923547 @default.
- W2517733820 hasConcept C41008148 @default.
- W2517733820 hasConcept C61797465 @default.
- W2517733820 hasConcept C62520636 @default.
- W2517733820 hasConcept C65045869 @default.
- W2517733820 hasConcept C77906462 @default.
- W2517733820 hasConcept C94375191 @default.
- W2517733820 hasConcept C97137487 @default.
- W2517733820 hasConceptScore W2517733820C121332964 @default.
- W2517733820 hasConceptScore W2517733820C154690210 @default.
- W2517733820 hasConceptScore W2517733820C159333733 @default.
- W2517733820 hasConceptScore W2517733820C199360897 @default.
- W2517733820 hasConceptScore W2517733820C2777998813 @default.
- W2517733820 hasConceptScore W2517733820C33923547 @default.
- W2517733820 hasConceptScore W2517733820C41008148 @default.
- W2517733820 hasConceptScore W2517733820C61797465 @default.
- W2517733820 hasConceptScore W2517733820C62520636 @default.
- W2517733820 hasConceptScore W2517733820C65045869 @default.
- W2517733820 hasConceptScore W2517733820C77906462 @default.
- W2517733820 hasConceptScore W2517733820C94375191 @default.
- W2517733820 hasConceptScore W2517733820C97137487 @default.
- W2517733820 hasLocation W25177338201 @default.
- W2517733820 hasOpenAccess W2517733820 @default.
- W2517733820 hasPrimaryLocation W25177338201 @default.
- W2517733820 hasRelatedWork W1521986062 @default.
- W2517733820 hasRelatedWork W1533534652 @default.
- W2517733820 hasRelatedWork W1555572117 @default.
- W2517733820 hasRelatedWork W1606338408 @default.
- W2517733820 hasRelatedWork W1781645394 @default.
- W2517733820 hasRelatedWork W192652587 @default.
- W2517733820 hasRelatedWork W2011361820 @default.
- W2517733820 hasRelatedWork W2020938469 @default.
- W2517733820 hasRelatedWork W2031948276 @default.
- W2517733820 hasRelatedWork W2047973569 @default.
- W2517733820 hasRelatedWork W2053867970 @default.
- W2517733820 hasRelatedWork W2077426843 @default.
- W2517733820 hasRelatedWork W2089309203 @default.
- W2517733820 hasRelatedWork W2092386169 @default.
- W2517733820 hasRelatedWork W2740875086 @default.
- W2517733820 hasRelatedWork W291680708 @default.
- W2517733820 hasRelatedWork W2953354833 @default.
- W2517733820 hasRelatedWork W2975211285 @default.
- W2517733820 hasRelatedWork W3175766486 @default.
- W2517733820 hasRelatedWork W8727156 @default.
- W2517733820 isParatext "false" @default.
- W2517733820 isRetracted "false" @default.
- W2517733820 magId "2517733820" @default.
- W2517733820 workType "article" @default.