Tallenna
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.
The 23 revised full papers were carefully reviewed and selected from 35 submissions. domain theory logics; logical foundations of database theory;
The 23 revised full papers were carefully reviewed and selected from 35 submissions. domain theory logics; logical foundations of database theory;
- Alaotsikko
- International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
- Toimittaja
- Sergei Artemov, Anil Nerode
- Painos
- 1st ed. 2022
- ISBN
- 9783030930998
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 17.12.2021
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 377
