Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings

Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10-13, 2024.The 18 full paper...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Metcalfe, George, Studer, Thomas, de Queiroz, Ruy
Format: Buch
Sprache:eng
Schlagworte:
Computer logic
Logic, Symbolic and mathematical
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume 14672
creator Metcalfe, George
Studer, Thomas
de Queiroz, Ruy
description Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10-13, 2024.The 18 full papers included in this book were carefully reviewed and selected from 37 submissions. This book also contains six invited abstracts.The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.
format Book
fullrecord <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783031626876</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC31460571</sourcerecordid><originalsourceid>FETCH-LOGICAL-a9371-959a15e497f649cd528bc0abe7f77e2d5b9d4b94e661b2fae5afb4e32aa514bf3</originalsourceid><addsrcrecordid>eNpNj01Lw0AURUdE0db8hywVEpjvySw11FoIuNF1eJO8ibVppmYS_ftKq-Dqci6HC_eMLAQVTHNdGHNOEmuKP9b2kiyYFFZTXjB1RZIY3ymlgrNCcH5N8ip02yZLKxi6GTrM0s3gw7iHaRuGLIWhTcuwP8zTsbghFx76iMlvLsnr4-qlfMqr5_WmvK9ysMKw3CoLTKG0xmtpm1bxwjUUHBpvDPJWOdtKZyVqzRz3gAq8kyg4gGLSebEkd6ddiDv8im-hn2L92aMLYRfrf_-M_nFvT-5hDB8zxqk-ag0O0wh9vXooBZOaKsPEN3tHUno</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC31460571</pqid></control><display><type>book</type><title>Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings</title><source>Springer Books</source><creator>Metcalfe, George ; Studer, Thomas ; de Queiroz, Ruy</creator><creatorcontrib>Metcalfe, George ; Studer, Thomas ; de Queiroz, Ruy</creatorcontrib><description>Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10-13, 2024.The 18 full papers included in this book were carefully reviewed and selected from 37 submissions. This book also contains six invited abstracts.The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.</description><edition>1</edition><identifier>ISBN: 9783031626869</identifier><identifier>ISBN: 3031626869</identifier><identifier>EISBN: 3031626877</identifier><identifier>EISBN: 9783031626876</identifier><identifier>OCLC: 1439602815</identifier><language>eng</language><publisher>Cham: Springer</publisher><subject>Computer logic ; Logic, Symbolic and mathematical</subject><creationdate>2024</creationdate><tpages>309</tpages><format>309</format><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture notes in computer science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>306,776,780,782</link.rule.ids></links><search><creatorcontrib>Metcalfe, George</creatorcontrib><creatorcontrib>Studer, Thomas</creatorcontrib><creatorcontrib>de Queiroz, Ruy</creatorcontrib><title>Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings</title><description>Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10-13, 2024.The 18 full papers included in this book were carefully reviewed and selected from 37 submissions. This book also contains six invited abstracts.The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.</description><subject>Computer logic</subject><subject>Logic, Symbolic and mathematical</subject><isbn>9783031626869</isbn><isbn>3031626869</isbn><isbn>3031626877</isbn><isbn>9783031626876</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2024</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNpNj01Lw0AURUdE0db8hywVEpjvySw11FoIuNF1eJO8ibVppmYS_ftKq-Dqci6HC_eMLAQVTHNdGHNOEmuKP9b2kiyYFFZTXjB1RZIY3ymlgrNCcH5N8ip02yZLKxi6GTrM0s3gw7iHaRuGLIWhTcuwP8zTsbghFx76iMlvLsnr4-qlfMqr5_WmvK9ysMKw3CoLTKG0xmtpm1bxwjUUHBpvDPJWOdtKZyVqzRz3gAq8kyg4gGLSebEkd6ddiDv8im-hn2L92aMLYRfrf_-M_nFvT-5hDB8zxqk-ag0O0wh9vXooBZOaKsPEN3tHUno</recordid><startdate>2024</startdate><enddate>2024</enddate><creator>Metcalfe, George</creator><creator>Studer, Thomas</creator><creator>de Queiroz, Ruy</creator><general>Springer</general><scope/></search><sort><creationdate>2024</creationdate><title>Logic, Language, Information, and Computation</title><author>Metcalfe, George ; Studer, Thomas ; de Queiroz, Ruy</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a9371-959a15e497f649cd528bc0abe7f77e2d5b9d4b94e661b2fae5afb4e32aa514bf3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2024</creationdate><topic>Computer logic</topic><topic>Logic, Symbolic and mathematical</topic><toplevel>online_resources</toplevel><creatorcontrib>Metcalfe, George</creatorcontrib><creatorcontrib>Studer, Thomas</creatorcontrib><creatorcontrib>de Queiroz, Ruy</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Metcalfe, George</au><au>Studer, Thomas</au><au>de Queiroz, Ruy</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings</btitle><seriestitle>Lecture notes in computer science</seriestitle><date>2024</date><risdate>2024</risdate><volume>14672</volume><isbn>9783031626869</isbn><isbn>3031626869</isbn><eisbn>3031626877</eisbn><eisbn>9783031626876</eisbn><abstract>Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 30th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2024, held in Bern, Switzerland, during June 10-13, 2024.The 18 full papers included in this book were carefully reviewed and selected from 37 submissions. This book also contains six invited abstracts.The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.</abstract><cop>Cham</cop><pub>Springer</pub><oclcid>1439602815</oclcid><tpages>309</tpages><edition>1</edition></addata></record>
fulltext fulltext
identifier ISBN: 9783031626869
ispartof
issn
language eng
recordid cdi_askewsholts_vlebooks_9783031626876
source Springer Books
subjects Computer logic
Logic, Symbolic and mathematical
title Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10-13, 2024, Proceedings
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-14T00%3A34%3A35IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Logic,%20Language,%20Information,%20and%20Computation:%2030th%20International%20Workshop,%20WoLLIC%202024,%20Bern,%20Switzerland,%20June%2010-13,%202024,%20Proceedings&rft.au=Metcalfe,%20George&rft.date=2024&rft.volume=14672&rft.isbn=9783031626869&rft.isbn_list=3031626869&rft_id=info:doi/&rft_dat=%3Cproquest_askew%3EEBC31460571%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=3031626877&rft.eisbn_list=9783031626876&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC31460571&rft_id=info:pmid/&rfr_iscdi=true