Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings / Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.).
Workshop on Logic, Language, Information and Computation (28th : 2022 : Iaşi, Romania); Ciabattoni, Agata, editor.; Pimentel, Elaine, editor.; Queiroz, Ruy J. G. B. de, editor.
2022
QA9.A1 W67 2022eb
Available Online

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 : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings / Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.).
Meeting Name Workshop on Logic, Language, Information and Computation (28th : 2022 : Iaşi, Romania)
ISBN 9783031152986 (electronic bk.)
3031152980 (electronic bk.)
9783031152979
3031152972
DOI https://doi.org/10.1007/978-3-031-15298-6
Published Cham : Springer, 2022.
Language English
Description 1 online resource (1 volume) : illustrations (black and white).
Item Number 10.1007/978-3-031-15298-6 doi
Call Number QA9.A1 W67 2022eb
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 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Ciabattoni, Agata, editor.
Pimentel, Elaine, editor.
Queiroz, Ruy J. G. B. de, editor.
Series Lecture notes in computer science ; 13468.
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Available in Other Form Logic, language, information, and computation.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Proof theory,
Model theory
Modal and temporal logics
Automated reasoning.-Constraint and logic programming
Constructive mathematics
Equational logic and rewriting
Finite Model Theory
Descriptive complexity,
Higher order logic
Programming logic
Model checking
Type theory
Lambda calculus
Semantics of programming languages
Computational linguistics.-Language and computation
Logic and language.

Browse Subjects

Show more subjects...

Statistics

from
to
Export