Matches in SemOpenAlex for { <https://semopenalex.org/work/W2518189920> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2518189920 abstract "A datatype defining rewrite system (DDRS) is a ground-complete term rewriting system, intended to be used for the specification of datatypes. As a follow-up of an earlier paper we define two concise DDRSes for the ring of integers, each comprising only twelve rewrite rules, and prove their ground-completeness. Then we introduce DDRSes for a concise specification of natural number arithmetic and integer arithmetic in unary view, that is, arithmetic based on unary append (a form of tallying) or on successor function. Finally, we relate one of the DDRSes for the ring of integers to the above-mentioned DDRSes for natural and integer arithmetic in unary view." @default.
- W2518189920 created "2016-09-16" @default.
- W2518189920 creator A5032380170 @default.
- W2518189920 creator A5086189547 @default.
- W2518189920 date "2016-08-22" @default.
- W2518189920 modified "2023-09-27" @default.
- W2518189920 title "Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view." @default.
- W2518189920 hasPublicationYear "2016" @default.
- W2518189920 type Work @default.
- W2518189920 sameAs 2518189920 @default.
- W2518189920 citedByCount "1" @default.
- W2518189920 countsByYear W25181899202016 @default.
- W2518189920 crossrefType "posted-content" @default.
- W2518189920 hasAuthorship W2518189920A5032380170 @default.
- W2518189920 hasAuthorship W2518189920A5086189547 @default.
- W2518189920 hasConcept C118615104 @default.
- W2518189920 hasConcept C12657307 @default.
- W2518189920 hasConcept C154690210 @default.
- W2518189920 hasConcept C164810661 @default.
- W2518189920 hasConcept C178790620 @default.
- W2518189920 hasConcept C184264201 @default.
- W2518189920 hasConcept C185592680 @default.
- W2518189920 hasConcept C199360897 @default.
- W2518189920 hasConcept C2780378348 @default.
- W2518189920 hasConcept C33923547 @default.
- W2518189920 hasConcept C41008148 @default.
- W2518189920 hasConcept C78023250 @default.
- W2518189920 hasConcept C94375191 @default.
- W2518189920 hasConcept C97137487 @default.
- W2518189920 hasConceptScore W2518189920C118615104 @default.
- W2518189920 hasConceptScore W2518189920C12657307 @default.
- W2518189920 hasConceptScore W2518189920C154690210 @default.
- W2518189920 hasConceptScore W2518189920C164810661 @default.
- W2518189920 hasConceptScore W2518189920C178790620 @default.
- W2518189920 hasConceptScore W2518189920C184264201 @default.
- W2518189920 hasConceptScore W2518189920C185592680 @default.
- W2518189920 hasConceptScore W2518189920C199360897 @default.
- W2518189920 hasConceptScore W2518189920C2780378348 @default.
- W2518189920 hasConceptScore W2518189920C33923547 @default.
- W2518189920 hasConceptScore W2518189920C41008148 @default.
- W2518189920 hasConceptScore W2518189920C78023250 @default.
- W2518189920 hasConceptScore W2518189920C94375191 @default.
- W2518189920 hasConceptScore W2518189920C97137487 @default.
- W2518189920 hasLocation W25181899201 @default.
- W2518189920 hasOpenAccess W2518189920 @default.
- W2518189920 hasPrimaryLocation W25181899201 @default.
- W2518189920 hasRelatedWork W1532282263 @default.
- W2518189920 hasRelatedWork W1544791595 @default.
- W2518189920 hasRelatedWork W1596399281 @default.
- W2518189920 hasRelatedWork W166830190 @default.
- W2518189920 hasRelatedWork W1736615600 @default.
- W2518189920 hasRelatedWork W1944647127 @default.
- W2518189920 hasRelatedWork W1981819401 @default.
- W2518189920 hasRelatedWork W1987041205 @default.
- W2518189920 hasRelatedWork W2025318346 @default.
- W2518189920 hasRelatedWork W2025857741 @default.
- W2518189920 hasRelatedWork W2079179697 @default.
- W2518189920 hasRelatedWork W2085923075 @default.
- W2518189920 hasRelatedWork W2125735754 @default.
- W2518189920 hasRelatedWork W2133177432 @default.
- W2518189920 hasRelatedWork W2172008587 @default.
- W2518189920 hasRelatedWork W2184297173 @default.
- W2518189920 hasRelatedWork W2323303463 @default.
- W2518189920 hasRelatedWork W2951507744 @default.
- W2518189920 hasRelatedWork W2999155536 @default.
- W2518189920 hasRelatedWork W785154562 @default.
- W2518189920 isParatext "false" @default.
- W2518189920 isRetracted "false" @default.
- W2518189920 magId "2518189920" @default.
- W2518189920 workType "article" @default.