Primitive recursion in the abstract
Recurrence can be used as a function definition schema for any nontrivial free algebra, yielding the same computational complexity in all cases. We show that primitive-recursive computing is in fact independent of free algebras altogether, and can be characterized by a generic programming principle,...
Saved in:
| Published in: | Mathematical structures in computer science Vol. 30; no. 1; pp. 33 - 43 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
01.01.2020
Cambridge University Press (CUP) |
| Subjects: | |
| ISSN: | 0960-1295, 1469-8072 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Recurrence can be used as a function definition schema for any nontrivial free algebra, yielding the same computational complexity in all cases. We show that primitive-recursive computing is in fact independent of free algebras altogether, and can be characterized by a generic programming principle, namely the control of iteration by the depletion of finite components of the underlying structure. |
|---|---|
| AbstractList | Recurrence can be used as a function definition schema for any non-trivial free algebra, yielding the same computational complexity in all cases. We show that primitive-recursive computing is in fact independent of free algebras altogether, and can be characterized by a generic programming principle, namely the control of iteration by the depletion of finite components of the underlying structure. Recurrence can be used as a function definition schema for any nontrivial free algebra, yielding the same computational complexity in all cases. We show that primitive-recursive computing is in fact independent of free algebras altogether, and can be characterized by a generic programming principle, namely the control of iteration by the depletion of finite components of the underlying structure. |
| Author | Marion, Jean-Yves Leivant, Daniel |
| Author_xml | – sequence: 1 givenname: Daniel surname: Leivant fullname: Leivant, Daniel – sequence: 2 givenname: Jean-Yves surname: Marion fullname: Marion, Jean-Yves |
| BackLink | https://hal.science/hal-02573188$$DView record in HAL |
| BookMark | eNp1kEFLAzEQhYNUsK3-AG8LPXlYnUl2N5tjKdoKBQX1HLLZhKbU3ZqkBf-9WaoXxcsMzHxvePMmZNT1nSHkGuEWAfndC4gKkIoSBQAg0jMyxqISeQ2cjsh4WOfD_oJMQtgmhCGIMZk9e_fuojuazBt98MH1Xea6LG5MppoQvdLxkpxbtQvm6rtPydvD_etila-flo-L-TrXrISYawuoW1HbSumiamvBGqZB2aYobWMo1bZmAkRjWkYNpNLUnNMWWcF1xaxgU3JzurtRO7lPvpT_lL1ycjVfy2EGtOQM6_qIiZ2d2L3vPw4mRLntD75L9iRlFUsBMM4SxU-U9n0I3lipXVQx_ZgeczuJIIf05J_0khJ_KX8M_a_5AjO9cDE |
| CitedBy_id | crossref_primary_10_1093_logcom_exaa076 |
| Cites_doi | 10.1007/3-540-60178-3_92 10.1090/memo/0089 10.3233/FI-2011-405 10.1007/BF00289513 10.1142/9789812794499_0021 10.7551/mitpress/3054.001.0001 10.1090/S0273-0979-1989-15750-9 |
| ContentType | Journal Article |
| Copyright | Cambridge University Press 2020 licence_http://creativecommons.org/publicdomain/zero |
| Copyright_xml | – notice: Cambridge University Press 2020 – notice: licence_http://creativecommons.org/publicdomain/zero |
| DBID | AAYXX CITATION 3V. 7SC 7XB 88I 8AL 8FD 8FE 8FG 8FK ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V L7M L~C L~D M0N M2P M7S P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U 1XC VOOES |
| DOI | 10.1017/S0960129519000112 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Science Database (Alumni Edition) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest SciTech Premium Collection Technology Collection Materials Science & Engineering Database ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest SciTech Premium Collection Technology Collection Advanced Technologies & Aerospace Collection ProQuest Central Essentials - QC ProQuest Central (New) Technology collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Collection (ProQuest) ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Science Database Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access) |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Science Journals (Alumni Edition) ProQuest Central Basic ProQuest Science Journals ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | CrossRef Computer Science Database |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1469-8072 |
| EndPage | 43 |
| ExternalDocumentID | oai:HAL:hal-02573188v1 10_1017_S0960129519000112 |
| GroupedDBID | -1D -1F -2P -2V -E. -~6 -~N .DC .FH 09C 09E 0E1 0R~ 29M 4.4 5GY 5VS 6~7 74X 74Y 7~V 88I 8FE 8FG 8R4 8R5 9M5 AAAZR AABES AABWE AACJH AAGFV AAKNA AAKTX AAMNQ AANRG AARAB AASVR AAUIS AAUKB AAYXX ABBXD ABBZL ABGDZ ABITZ ABJCF ABJNI ABKKG ABMWE ABQTM ABQWD ABROB ABTCQ ABUWG ABVFV ABVKB ABVZP ABXAU ABXHF ABZCX ACBMC ACDLN ACEJA ACETC ACGFS ACGOD ACIMK ACIWK ACUIJ ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADKIL ADOVH ADOVT ADVJH AEBAK AEBPU AEHGV AEMTW AENCP AENEX AENGE AFFHD AFFUJ AFKQG AFKRA AFLOS AFLVW AFUTZ AFZFC AGABE AGBYD AGJUD AGLWM AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS AKMAY AKZCZ ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AMVHM ANOYL AQJOH ARABE ARAPS ARZZG ATUCA AUXHV AYIQA AZQEC BBLKV BCGOX BENPR BESQT BGHMG BGLVJ BJBOZ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CCUQV CDIZJ CFAFE CFBFF CGQII CHEAL CITATION CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EGQIC EJD GNUQQ HCIFZ HG- HST HZ~ I.6 I.7 I.9 IH6 IOEEP IOO IS6 I~P J36 J38 J3A JHPGK JQKCU K6V K7- KAFGG KCGVB KFECR L6V L98 LHUNA LW7 M-V M2P M7S M7~ M8. NIKVX NMFBF NZEOI O9- OYBOY P2P P62 PHGZM PHGZT PQGLB PQQKQ PROAC PTHSS PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M TN5 UT1 WFFJZ WQ3 WXU WYP ZDLDU ZJOSE ZMEZD ZYDXJ ~V1 3V. 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D M0N PKEHL PQEST PQUKI PRINS Q9U 1XC VOOES |
| ID | FETCH-LOGICAL-c350t-cf01cd98f6ac46d893b3c0afb45fbe22cf83909bed32e0d32b8772d1347c63f93 |
| IEDL.DBID | K7- |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000515493100003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0960-1295 |
| IngestDate | Wed Nov 05 07:21:40 EST 2025 Fri Jul 25 19:34:10 EDT 2025 Sat Nov 29 03:56:52 EST 2025 Tue Nov 18 21:17:32 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Language | English |
| License | https://www.cambridge.org/core/terms licence_http://creativecommons.org/publicdomain/zero/: http://creativecommons.org/publicdomain/zero |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c350t-cf01cd98f6ac46d893b3c0afb45fbe22cf83909bed32e0d32b8772d1347c63f93 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| ORCID | 0009-0002-8262-3887 |
| OpenAccessLink | https://hal.science/hal-02573188 |
| PQID | 2363112373 |
| PQPubID | 33085 |
| PageCount | 11 |
| ParticipantIDs | hal_primary_oai_HAL_hal_02573188v1 proquest_journals_2363112373 crossref_citationtrail_10_1017_S0960129519000112 crossref_primary_10_1017_S0960129519000112 |
| PublicationCentury | 2000 |
| PublicationDate | 2020-01-00 20200101 2020-01 |
| PublicationDateYYYYMMDD | 2020-01-01 |
| PublicationDate_xml | – month: 01 year: 2020 text: 2020-01-00 |
| PublicationDecade | 2020 |
| PublicationPlace | Cambridge |
| PublicationPlace_xml | – name: Cambridge |
| PublicationSubtitle | MSCS |
| PublicationTitle | Mathematical structures in computer science |
| PublicationYear | 2020 |
| Publisher | Cambridge University Press Cambridge University Press (CUP) |
| Publisher_xml | – name: Cambridge University Press – name: Cambridge University Press (CUP) |
| References | S0960129519000112_ref19 S0960129519000112_ref9 Ebbinghaus (S0960129519000112_ref7) 1995 S0960129519000112_ref17 S0960129519000112_ref8 S0960129519000112_ref16 S0960129519000112_ref15 S0960129519000112_ref5 S0960129519000112_ref13 Gurevich (S0960129519000112_ref10) 1988; 35 Dijkstra (S0960129519000112_ref6) 1976 S0960129519000112_ref3 Sazonov (S0960129519000112_ref18) 1980; 16 S0960129519000112_ref1 S0960129519000112_ref11 S0960129519000112_ref21 S0960129519000112_ref2 van Heijenoort (S0960129519000112_ref14) 1967 Gurevich (S0960129519000112_ref12) 2001 Börger (S0960129519000112_ref4) 2002; 8 Strahm (S0960129519000112_ref20) 2008; 76 |
| References_xml | – ident: S0960129519000112_ref8 doi: 10.1007/3-540-60178-3_92 – ident: S0960129519000112_ref15 doi: 10.1090/memo/0089 – volume-title: From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 year: 1967 ident: S0960129519000112_ref14 – volume-title: Finite Model Theory year: 1995 ident: S0960129519000112_ref7 – volume-title: A Discipline of Programming year: 1976 ident: S0960129519000112_ref6 – ident: S0960129519000112_ref2 doi: 10.3233/FI-2011-405 – volume: 16 start-page: 319 year: 1980 ident: S0960129519000112_ref18 article-title: Polynomial computability and recursivity in finite domains publication-title: Elektronische Informationsverarbeitung und Kybernetik – ident: S0960129519000112_ref13 doi: 10.1007/BF00289513 – ident: S0960129519000112_ref9 – volume: 76 start-page: 175 year: 2008 ident: S0960129519000112_ref20 article-title: Primitive recursive selection functions for existential assertions over abstract algebras publication-title: Journal of Logical and Algebraic Methods – volume: 35 start-page: 71 year: 1988 ident: S0960129519000112_ref10 article-title: Logic in computer science column publication-title: Bulletin of the EATCS – ident: S0960129519000112_ref11 doi: 10.1142/9789812794499_0021 – start-page: 363 volume-title: Current Trends in Theoretical Computer Science year: 2001 ident: S0960129519000112_ref12 – volume: 8 start-page: 2 year: 2002 ident: S0960129519000112_ref4 article-title: The origins and the development of the ASM method for high level system design and analysis publication-title: Journal of UCS – ident: S0960129519000112_ref21 doi: 10.7551/mitpress/3054.001.0001 – ident: S0960129519000112_ref5 – ident: S0960129519000112_ref19 – ident: S0960129519000112_ref3 doi: 10.1090/S0273-0979-1989-15750-9 – ident: S0960129519000112_ref17 – ident: S0960129519000112_ref1 – ident: S0960129519000112_ref16 |
| SSID | ssj0013109 |
| Score | 2.1701603 |
| Snippet | Recurrence can be used as a function definition schema for any nontrivial free algebra, yielding the same computational complexity in all cases. We show that... Recurrence can be used as a function definition schema for any non-trivial free algebra, yielding the same computational complexity in all cases. We show that... |
| SourceID | hal proquest crossref |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database |
| StartPage | 33 |
| SubjectTerms | Computational Complexity Computer Science Cryptography and Security Depletion Iterative methods Logic in Computer Science |
| Title | Primitive recursion in the abstract |
| URI | https://www.proquest.com/docview/2363112373 https://hal.science/hal-02573188 |
| Volume | 30 |
| WOSCitedRecordID | wos000515493100003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1469-8072 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0013109 issn: 0960-1295 databaseCode: P5Z dateStart: 20010201 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1469-8072 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0013109 issn: 0960-1295 databaseCode: K7- dateStart: 20010201 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1469-8072 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0013109 issn: 0960-1295 databaseCode: M7S dateStart: 20010201 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1469-8072 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0013109 issn: 0960-1295 databaseCode: BENPR dateStart: 20010201 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Science Database (ProQuest) customDbUrl: eissn: 1469-8072 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0013109 issn: 0960-1295 databaseCode: M2P dateStart: 20010201 isFulltext: true titleUrlDefault: https://search.proquest.com/sciencejournals providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8QwEB509eDF9YmrqxT1JATbpG3ak6gogroUHyBeSp64IFV31_39ZtpUUcGLlzlM01Iyk8mXmckMwL6WLLYm5iQVwh1QaKSJVEwTpTJmeSJtZuqLwld8MMgeHvLCO9zGPq2ytYm1odYvCn3kh5SlzGEDxtnR6xvBrlEYXfUtNGZhLqI0Qj2_5OQrihA1KR4OpRO3ryVtVLMuGe2YyIvyGhbRb_vS7BNmRf4wzvWOc979778uwaLHmsFxoxzLMGOqFei2fRwCv6xXYa_A3l5o94IRut_RgRYMq8Bhw0BI9IWoyRrcn5_dnV4Q3zyBKJaEE6JsGCmdZzYVKk61gyWSqVBYGSdWGkqVddAozKXRjJrQEZk5oK3xZqlKmc3ZOnSql8psQKBCHclYmCSPeZzTTLiv5NxkqWI8lFL0IGynrlS-sjg2uHgumxQyXv6a7R4cfL7y2pTV-GvwrpPH5zgsiH1xfFUizyE27qxSNo160G9lUfplOC6_BLH59-MtWKB4kK59K33oTEbvZhvm1XQyHI92YO7kbFDc7NTa5eg1LZDyW0eL5PEDxDjUtw |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9tAEB7xqFQuQEsrwtNq4VJpVXvX9q4PCCEeSpQ0yiFI3FzvSyChAEmg6p_qb-yMH0SAxI0DFx_Wa8vyjL75dp4Ae1aL2LtYsrQo8IDCI8u0EZYZo4SXifbKlYXCPdnvq4uLbDAH_5paGEqrbDCxBGp7Y8hH_pOLVCA3EFIc3t4xmhpF0dVmhEalFl339w8e2SYHnROU7z7nZ6fD4zarpwowI5JwyowPI2Mz5dPCxKlFe62FCQuv48Rrx7nxyBnCTDsruAvxohUyUEsllyYVnpovIeQvxkJJ6tXflWwWtYiqlBI8FTC0o0kTRS1bVOMirUVZScP4Ezs4f0lZmM-MQWnhzlbe279ZheWaSwdHlfJ_gjk3-gwrzZyKoIatNfg-oNllhOvBmMIL5CAMrkYBct-g0OTrMdMvcP4mn_oVFkY3I7cOgQltpOPCJVks44yrAt-SSadSI2SoddGCsBFVburO6TTA4zqvUuRk_kK6Lfjx-Mht1Tbktc3fUP6P-6jhd_uol9MaMlKJqKseohZsNbLPa5iZ5DPBb7x-exc-toe_enmv0-9uwhInp0HpR9qChen43m3DB_MwvZqMd0qNDuD3W6vJfwnBLqQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Primitive+recursion+in+the+abstract&rft.jtitle=Mathematical+structures+in+computer+science&rft.au=Leivant%2C+Daniel&rft.au=Marion%2C+Jean-Yves&rft.date=2020-01-01&rft.pub=Cambridge+University+Press+%28CUP%29&rft.issn=0960-1295&rft.eissn=1469-8072&rft.volume=30&rft.issue=1&rft.spage=33&rft.epage=43&rft_id=info:doi/10.1017%2FS0960129519000112&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai%3AHAL%3Ahal-02573188v1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0960-1295&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0960-1295&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0960-1295&client=summon |