Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

• Tác giả: Jean Goubault-Larrecq, Barbara König
• Ngôn ngữ: ger
• ISBN-13: 978-3030452315
• Ký hiệu phân loại: 511.3 Mathematical logic (Symbolic logic)
• Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2020
• Mô tả vật lý: XV, 644 p. 1 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 168914
• Chủ đề: 1. Artificial intelligence; 2. Computer logic; 3. Computer organization; 4. Computer programming; 5. Computer science-Mathematics; 6. Mathematical logic; 7. Programming languages (Electronic computers); 8. Mathematical Logic and Foundations; 9. Computer Systems Organization and Communication Networks; 10. Discrete Mathematics in Computer Science; 11. Logic in AI; 12. Programming Languages, Compilers, Interpreters; 13. Programming Techniques

Tóm tắt

 This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics
  language theory, automata, and games
  modal, spatial, and temporal logics
  type theory and proof theory
  concurrency theory and process calculi
  rewriting theory
  semantics of programming languages
  program analysis, correctness, transformation, and verification
  logics of programming
  software specification and refinement
  models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems
  emerging models of computation
  logical aspects of computational complexity
  models of software security
  and logical foundations of data bases.