Matches in SemOpenAlex for { <https://semopenalex.org/work/W2999155536> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2999155536 abstract "A datatype defining rewrite system (DDRS) is an algebraic (equational) specification intended to specify a datatype. When interpreting the equations from left-to-right, a DDRS defines a term rewriting system that must be ground-complete. First we define two DDRSs for the ring of integers, each comprising twelve rewrite rules, and prove their ground-completeness. Then we introduce natural number and integer arithmetic specified according to unary view, that is, arithmetic based on a postfix unary append constructor (a form of tallying). Next we specify arithmetic based on two other views: binary and decimal notation. The binary and decimal view have as their characteristic that each normal form resembles common number notation, that is, either a digit, or a string of digits without leading zero, or the negated versions of the latter. Integer arithmetic in binary and decimal notation is based on (postfix) digit append functions. For each view we define a DDRS, and in each case the resulting datatype is a canonical term algebra that extends a corresponding canonical term algebra for natural numbers. Then, for each view, we consider an alternative DDRS based on tree constructors that yields comparable normal forms, which for that view admits expressions that are algorithmically more involved. For all DDRSs considered, ground-completeness is proven." @default.
- W2999155536 created "2020-01-23" @default.
- W2999155536 creator A5032380170 @default.
- W2999155536 creator A5086189547 @default.
- W2999155536 date "2016-08-22" @default.
- W2999155536 modified "2023-10-17" @default.
- W2999155536 title "Datatype defining rewrite systems for naturals and integers" @default.
- W2999155536 cites W134328369 @default.
- W2999155536 cites W1507030869 @default.
- W2999155536 cites W1541507510 @default.
- W2999155536 cites W1562672438 @default.
- W2999155536 cites W1981663184 @default.
- W2999155536 cites W2007898361 @default.
- W2999155536 cites W2034874525 @default.
- W2999155536 cites W2042828015 @default.
- W2999155536 cites W2099937335 @default.
- W2999155536 cites W2103487172 @default.
- W2999155536 cites W2165976864 @default.
- W2999155536 cites W2171361542 @default.
- W2999155536 cites W2502692741 @default.
- W2999155536 cites W2517733820 @default.
- W2999155536 cites W2533836568 @default.
- W2999155536 cites W2597116638 @default.
- W2999155536 cites W2749446492 @default.
- W2999155536 cites W2758285181 @default.
- W2999155536 cites W3098342754 @default.
- W2999155536 cites W598205067 @default.
- W2999155536 doi "https://doi.org/10.23638/lmcs-17(1:17)2021" @default.
- W2999155536 hasPublicationYear "2016" @default.
- W2999155536 type Work @default.
- W2999155536 sameAs 2999155536 @default.
- W2999155536 citedByCount "0" @default.
- W2999155536 crossrefType "posted-content" @default.
- W2999155536 hasAuthorship W2999155536A5032380170 @default.
- W2999155536 hasAuthorship W2999155536A5086189547 @default.
- W2999155536 hasBestOaLocation W29991555361 @default.
- W2999155536 hasConcept C118615104 @default.
- W2999155536 hasConcept C121332964 @default.
- W2999155536 hasConcept C134306372 @default.
- W2999155536 hasConcept C136119220 @default.
- W2999155536 hasConcept C154690210 @default.
- W2999155536 hasConcept C17231256 @default.
- W2999155536 hasConcept C185529760 @default.
- W2999155536 hasConcept C199360897 @default.
- W2999155536 hasConcept C202444582 @default.
- W2999155536 hasConcept C33923547 @default.
- W2999155536 hasConcept C41008148 @default.
- W2999155536 hasConcept C61797465 @default.
- W2999155536 hasConcept C62520636 @default.
- W2999155536 hasConcept C65045869 @default.
- W2999155536 hasConcept C78023250 @default.
- W2999155536 hasConcept C94375191 @default.
- W2999155536 hasConcept C97137487 @default.
- W2999155536 hasConceptScore W2999155536C118615104 @default.
- W2999155536 hasConceptScore W2999155536C121332964 @default.
- W2999155536 hasConceptScore W2999155536C134306372 @default.
- W2999155536 hasConceptScore W2999155536C136119220 @default.
- W2999155536 hasConceptScore W2999155536C154690210 @default.
- W2999155536 hasConceptScore W2999155536C17231256 @default.
- W2999155536 hasConceptScore W2999155536C185529760 @default.
- W2999155536 hasConceptScore W2999155536C199360897 @default.
- W2999155536 hasConceptScore W2999155536C202444582 @default.
- W2999155536 hasConceptScore W2999155536C33923547 @default.
- W2999155536 hasConceptScore W2999155536C41008148 @default.
- W2999155536 hasConceptScore W2999155536C61797465 @default.
- W2999155536 hasConceptScore W2999155536C62520636 @default.
- W2999155536 hasConceptScore W2999155536C65045869 @default.
- W2999155536 hasConceptScore W2999155536C78023250 @default.
- W2999155536 hasConceptScore W2999155536C94375191 @default.
- W2999155536 hasConceptScore W2999155536C97137487 @default.
- W2999155536 hasLocation W29991555361 @default.
- W2999155536 hasLocation W29991555362 @default.
- W2999155536 hasLocation W29991555363 @default.
- W2999155536 hasLocation W29991555364 @default.
- W2999155536 hasLocation W29991555365 @default.
- W2999155536 hasOpenAccess W2999155536 @default.
- W2999155536 hasPrimaryLocation W29991555361 @default.
- W2999155536 hasRelatedWork W1505286461 @default.
- W2999155536 hasRelatedWork W1981469834 @default.
- W2999155536 hasRelatedWork W1991552240 @default.
- W2999155536 hasRelatedWork W2115654764 @default.
- W2999155536 hasRelatedWork W2165176212 @default.
- W2999155536 hasRelatedWork W2463220586 @default.
- W2999155536 hasRelatedWork W2999155536 @default.
- W2999155536 hasRelatedWork W3147808488 @default.
- W2999155536 hasRelatedWork W1693156227 @default.
- W2999155536 hasRelatedWork W2188722478 @default.
- W2999155536 isParatext "false" @default.
- W2999155536 isRetracted "false" @default.
- W2999155536 magId "2999155536" @default.
- W2999155536 workType "article" @default.