A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points
Uložené v:
| Vydané v: | Automated Reasoning with Analytic Tableaux and Related Methods Ročník 14278 |
|---|---|
| Médium: | Kapitola |
| Jazyk: | English |
| Vydavateľské údaje: |
Switzerland
Springer
2023
|
| ISBN: | 9783031435126, 3031435125 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| BookMark | eNo1j8tOwzAQRY14CFr6Byz8AwbbE8fOsopKQYqgErCOnHiiGoJdEpfy-UQ8VlfnajQ6d0ZOQgxIyJXg14JzfVNow4BxECwDJYBBLeQRmcHU_BRwTBbTzT_L_IzMBBQGBDcFPyeLcXzlnMsi41IXF2S3pJUPaAe6wWHcYZv8J9IYaLlPbNX7dx9s8hN3caAPMbAD9n0X98Gho0_4sceQaGn7dt97evBpSyu0Y6I2OLoe0Cac4NZ_oWOb6EMaL8lpZ_sRF385Jy-3q-fyjlWP6_tyWbEGlE5MAbZd2zgFQnXSqNxmsjXQurxpskJqnRfgdGGUy7XVLTphTJOBdNxoh5mBOVG_f3dDnCzHVGMT41s7-Q6T7tbu0jS4Bm6MNDqvRaZrKRR8A0MZaRk |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-031-43513-3_12 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3031435133 9783031435133 |
| Editor | Urban, Josef Ramanayake, Revantha |
| Editor_xml | – sequence: 1 fullname: Ramanayake, Revantha – sequence: 2 fullname: Urban, Josef |
| ExternalDocumentID | EBC30882876_147_215 |
| GroupedDBID | A7I AABBV AAKKN AALJR AAQKC ABEEZ ACRBC ACYUH ADRLP AEDXK AEFSM AEKFX AFCNU AGBCL AGWHU AIQUZ ALMA_UNASSIGNED_HOLDINGS ALNDD BBABE CZZ EIXGO FFUUA IEZ SBO TPJZQ TSXQS Z5O Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z82 Z83 Z84 Z85 Z87 Z88 |
| ID | FETCH-LOGICAL-b357t-53ecfcbd5315f2856a42c83cd6bb49277693d7985d67a7ced188b432d087de483 |
| ISBN | 9783031435126 3031435125 |
| ISICitedReferencesCount | 4 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001162233100012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Thu May 29 00:51:28 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | Q334-342 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-b357t-53ecfcbd5315f2856a42c83cd6bb49277693d7985d67a7ced188b432d087de483 |
| OCLC | 1398310890 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007/978-3-031-43513-3_12.pdf |
| PQID | EBC30882876_147_215 |
| ParticipantIDs | proquest_ebookcentralchapters_30882876_147_215 |
| PublicationCentury | 2000 |
| PublicationDate | 2023 |
| PublicationDateYYYYMMDD | 2023-01-01 |
| PublicationDate_xml | – year: 2023 text: 2023 |
| PublicationDecade | 2020 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland |
| PublicationSubtitle | 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings |
| PublicationTitle | Automated Reasoning with Analytic Tableaux and Related Methods |
| PublicationYear | 2023 |
| Publisher | Springer |
| Publisher_xml | – name: Springer |
| SSID | ssj0002940279 |
| Score | 2.1734743 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=30882876&ppg=215 |
| Volume | 14278 |
| WOSCitedRecordID | wos001162233100012&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 | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Pa9swFBZr2WHssHY_2Lq16NDb0HAl25KOWUhpoQ05ZNBbsCUZAsHOamfkz-97spw4bi897GKCsRLZn_L03vP73kfIZRSbIrnKCsaVjSBAiSzLjTTwd9fSytw4aa0Xm5DTqXp40LNQq1p7OQFZlmq71ev_CjWcA7CROvsKuHdfCifgM4AOR4AdjgOP-DD3GqiRTQU-qEPSYVb3Uq2--Qg2Z50jVyrbbAMzceUvvvc60nV__YwwXMcuP7M9HRPfLIw3DZusvBbYrkxxWpUMk4AFajShB-vrsxskfpnNatnO4A5Vgvyv-rQE7EY_r5dbZ9msWoZ-Ul36gYtB-qFLPx6EpQJ74gtwJdIDO4uqHi9a7X6hBgxlOFYwsQgF1gdNsnnL_hw0yZ78HgsMFsC2QzAjF3jV-i9DcTF8CR-UVo7IkZRoDEfydpeI4xpCaKmR99NNO2k7M-1vo8e5fGmWz_Zx75zMT8h7JKxQZJLAZE_JG1d-JB86uQ4arPcnsh7RFlLag5RWJR1ASgFSOoCUBkhpgJQipNRDSgFS2kFK-5B-Jn-uJ_PxDQuCGywXiWxYIpwpTG7BLicFV0maxdwoYWya57HmEnUzrdQqsanMpHH2Sqk8FtxGSloXK_GFHJdV6b4SmvFMRwa8H8ddXGQxhPVpbHWaF7CjGO6-kV_dI1v4soBQi2zaZ1UvhnCevXbAd_Juv15_kOPmcePOyVvzr1nWjxd-DTwBDp5z7w |
| linkProvider | Open Access Publishing in European Networks |
| 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%3Abook&rft.genre=bookitem&rft.title=Automated+Reasoning+with+Analytic+Tableaux+and+Related+Methods&rft.atitle=A+Linear+Perspective+on+Cut-Elimination+for+Non-wellfounded+Sequent+Calculi+with+Least+and+Greatest+Fixed-Points&rft.date=2023-01-01&rft.pub=Springer&rft.isbn=9783031435126&rft.volume=14278&rft_id=info:doi/10.1007%2F978-3-031-43513-3_12&rft.externalDBID=215&rft.externalDocID=EBC30882876_147_215 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F30882876-l.jpg |