Helle Hvid Hansen – författare
Coalgebraic Methods in Computer Science
16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
1 227 kr
Skickas inom 10-15 vardagar
1 622 kr
Läs direkt efter köp
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022.
The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
Logic, Language, Information, and Computation
29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings
814 kr
Skickas inom 10-15 vardagar
993 kr
Läs direkt efter köp
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023.
The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.
562 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication.
The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.