|
Showing 1 - 3 of
3 matches in All Departments
|
Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings (1st ed. 2023)
Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B De Queiroz
|
R2,095
Discovery Miles 20 950
|
Ships in 10 - 15 working days
|
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.
|
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 (Paperback, 1st ed. 2022)
Helle Hvid Hansen, Fabio Zanasi
|
R3,187
Discovery Miles 31 870
|
Ships in 10 - 15 working days
|
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, and Computation - 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers (Paperback, 1st ed. 2017)
Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
|
R2,703
Discovery Miles 27 030
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 11th
International Tbilisi Symposium on Logic, Language and Computation,
TbiLLC 2015, held in Tbilisi, Georgia, in September 2015. 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.
|
|