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.).
2022
QA9.A1 W67 2022eb
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.).
ISBN
9783031152986 (electronic bk.)
3031152980 (electronic bk.)
9783031152979
3031152972
3031152980 (electronic bk.)
9783031152979
3031152972
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.
Series
Lecture notes in computer science ; 13468.
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
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
All Resources
Table of Contents
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.
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.