Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings / Alexandra Silva, Renata Wassermann, Ruy de Queiroz (eds.).
2021
QA9.A1 W67 2021
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings / Alexandra Silva, Renata Wassermann, Ruy de Queiroz (eds.).
ISBN
9783030888534 (electronic bk.)
3030888533 (electronic bk.)
9783030888527
3030888525
3030888533 (electronic bk.)
9783030888527
3030888525
Published
Cham : Springer, [2021]
Copyright
©2021
Language
English
Description
1 online resource : illustrations (some color)
Item Number
10.1007/978-3-030-88853-4 doi
Call Number
QA9.A1 W67 2021
Dewey Decimal Classification
005.13/1
Summary
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file
PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 12, 2021).
Added Author
Silva, Alexandra (Alexandra Martins da), editor.
Wassermann, Renata, editor.
Queiroz, Ruy J. G. B. de, editor.
Wassermann, Renata, editor.
Queiroz, Ruy J. G. B. de, editor.
Series
Lecture notes in computer science ; 13038.
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Logic
Language
Computation
Proofs
Formal Languages
Category Theory
Deduction systems.
Language
Computation
Proofs
Formal Languages
Category Theory
Deduction systems.