A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points
Uloženo v:
| Vydáno v: | Automated Reasoning with Analytic Tableaux and Related Methods Ročník 14278 |
|---|---|
| Médium: | Kapitola |
| Jazyk: | angličtina |
| Vydáno: |
Switzerland
Springer
2023
|
| ISBN: | 9783031435126, 3031435125 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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/eLvHCXMwtV3Pa9swFBZr2GH00G7t6I9t6LBbUUks25KPWUjYYAs5ZNBbkCUZAsFOY6fkz-97spw4bi899GJiY9mKP_H83vP73kfIT5VoHinTZ32bGRbqbMBUyGOW2D5XOpBxqjInNiGmU_nwkMx8rWrp5AREnsvdLlm_K9RwDMBG6uwb4N5fFA7AbwAdtgA7bDse8XHu1VMjqwJ8UIukQ1W2Uq2u-Qg2Z50jV0ptd56ZuHIn_3M60mV7_QwxXMcuP7MDHRO_LIy2FRuvnBbYvkxxWuQMk4AZajShB-vqsyskfuntalnP4C-qBLm7urQEvI3uJsudNWxWLH0_qSb9EPBO-qFJPx6FpRx74nNwJeIjO4uqHq9a7XahBgxlOJYzvvAF1kdNsoOa_dlpkj3-NeIYLIBth2BGLPCs9SNDcTH8CO-VVk7IiRBoDIfizz4RFyQQQosEeT_NtKO6M9Phb7Q4l6_N8sV73Dkn83NyioQVikwSmOxn8sHmX8hZI9dBvfW-IOshrSGlLUhpkdMOpBQgpR1IqYeUekgpQkodpBQgpQ2ktA3pJfk_Gc9Hv5kX3GApj0TFIm51plMDdjnKAhnFKgy05NrEaRomgUDdTCMSGZlYKKGtGUiZhjwwfSmMDSX_Snp5kdsrQlWqJDjPRql0ABYgllLGHHYyEWV4i2ty3zyyhSsL8LXIun5W5aIL581bB9yST4f1-o30qs3Wficf9VO1LDc_3Bp4BoTpdT0 |
| 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 |