A State-of-the-Art Karp-Miller Algorithm Certified in Coq
Uloženo v:
| Vydáno v: | Tools and Algorithms for the Construction and Analysis of Systems Ročník 14570 |
|---|---|
| Médium: | Kapitola |
| Jazyk: | angličtina |
| Vydáno: |
Switzerland
Springer International Publishing AG
2024
|
| ISBN: | 3031572459, 9783031572456 |
| 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 | eNpFjEtOwzAUAI34CFp6Axa5gOHZL_FnGUVQEEUsgHXk2C80EOLWMfcHARKr0cxiFuxoihMxdiHgUgDoK6sNRw4oeKVlqTi2UhywBX6Xn6AP_6WyJ2whSmmlMQbMKVvN8xsAoAQpFZwxWxdP2WXised5S7xOubh3accfhnGkVNTja0xD3n4UDaU89AOFYpiKJu7P2XHvxplWf1yyl5vr5-aWbx7Xd0294R1WKvPSgDUBggVyaJ0LzkoXKiN8F5RxAL4qte99p7wRoZNUoSLtLXZotESBS1b-fncp7j9pzi11Mb57mnJyo9-6XaY0tyikEUarFrFFC_gFZs9TgQ |
|---|---|
| ContentType | Book Chapter |
| DBID | FFUUA |
| DOI | 10.1007/978-3-031-57246-3_21 |
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3031572467 9783031572463 |
| Editor | Kovács, Laura Finkbeiner, Bernd |
| Editor_xml | – sequence: 1 fullname: Kovács, Laura – sequence: 2 fullname: Finkbeiner, Bernd |
| ExternalDocumentID | EBC31281876_33_390 |
| GroupedDBID | A7I AABBV AACKP AAHEH AAKKN AALJR AAQKC ABEEZ ABHYI ABLGM ADZDO AEDXK AEIVC AEKFX AFIJG AGWHU AIQUZ ALMA_UNASSIGNED_HOLDINGS ALNDD BBABE CZZ EIXGO FFUUA IEZ SBO TPJZQ TSXQS V1H Z7R Z7U Z7X Z7Z Z81 Z83 Z84 Z85 Z88 |
| ID | FETCH-LOGICAL-b356t-48098d0d90ea39aada92ad581cbd68a00c547cfcb6c81db2e536e7c93b3872313 |
| ISBN | 3031572459 9783031572456 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001284177100021&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 01:15:47 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| LCCallNum | QA75.5-76.95 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-b356t-48098d0d90ea39aada92ad581cbd68a00c547cfcb6c81db2e536e7c93b3872313 |
| OCLC | 1429288808 |
| OpenAccessLink | https://link.springer.com/content/pdf/10.1007/978-3-031-57246-3_21.pdf |
| PQID | EBC31281876_33_390 |
| ParticipantIDs | proquest_ebookcentralchapters_31281876_33_390 |
| PublicationCentury | 2000 |
| PublicationDate | 2024 |
| PublicationDateYYYYMMDD | 2024-01-01 |
| PublicationDate_xml | – year: 2024 text: 2024 |
| PublicationDecade | 2020 |
| PublicationPlace | Switzerland |
| PublicationPlace_xml | – name: Switzerland |
| PublicationSubtitle | 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I |
| PublicationTitle | Tools and Algorithms for the Construction and Analysis of Systems |
| PublicationYear | 2024 |
| Publisher | Springer International Publishing AG |
| Publisher_xml | – name: Springer International Publishing AG |
| SSID | ssj0003202260 |
| Score | 2.0904086 |
| SourceID | proquest |
| SourceType | Publisher |
| Title | A State-of-the-Art Karp-Miller Algorithm Certified in Coq |
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=31281876&ppg=390 |
| Volume | 14570 |
| WOSCitedRecordID | wos001284177100021&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/eLvHCXMwtV1LS8QwEA674kE8-MY3OXiTQN20SXOsiy8Q8aDgraRJqsLS7gvx5zvTbHe71csevJRSkjbha6czk3zfEHJhIqmMkJxZkykGb0jIMq1zpnnoeGC1E14k6VE-PcVvb-q503msuTBfA1kU8fe3Gv4r1HANwEbq7Apwz28KF-AcQIcjwA7Hlke8nHv1qJflwKsuJ4P3EgL_Dy-4UPmXWJyzlov1bRqKJE3p8noDs3dFWZkz6M6S8RS5Y0Pm-YOLJ1z2cXN2js5sxSEcNVMJvbCVSqhTia1kZCMfltwthZ8cS0RIXDpdsqdh5GuB_LLOzQ0Z0JVhX8F46jnSy2LY3FcRbYlh31z3Oa79gQ1POU-x0XDEsIYYrrXPCqp0SVdKtHmJfJjn27BOPMRuSO-pR628ANNiFg1q5V-D_PW7rnyQl22yibwUioQRGOsO6bhil2zVVTnozEjvEZXQNmy0ARudw0bnsNHPggJs--T19ualf89mBTJYxiMxhU8rULENrAqc5kprq1VP2yi-MpkVsQ4CE4XS5CYTBsKSrOciLpw0imc8luDY8wOyVpSFOyRUBCY20spcGQkRu45z8Gxy0bPOQAQdqiPC6rmn1TL-bO-w8ZOepC1Yjldsf0I2Fm_kKVmDr8GdkXXzNf2cjM8rKH8AAwtU3g |
| 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=Tools+and+Algorithms+for+the+Construction+and+Analysis+of+Systems&rft.atitle=A+State-of-the-Art+Karp-Miller+Algorithm+Certified+in+Coq&rft.date=2024-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783031572456&rft.volume=14570&rft_id=info:doi/10.1007%2F978-3-031-57246-3_21&rft.externalDBID=390&rft.externalDocID=EBC31281876_33_390 |
| thumbnail_s | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F31281876-l.jpg |