Foundations of Software Science and Computation Structures

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 S...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Korporace: Goubault-Larrecq, Jean, König, Barbara
Médium: Livro
Jazyk:Inglês
Vydáno: Springer Nature 2020
Témata:
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
Programming Languages, Compilers, Interpreters
Programming Techniques
Logic in AI
Computer Systems Organization and Communication Networks
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
emerging models of computation
logical aspects of computational complexity
models of software security
logical foundations of data bases
mathematics
artificial intellegence
formal logic
linguistics
Mathematical foundations
Mathematical logic
Discrete mathematics
Maths for computer scientists
Programming & scripting languages: general
Compilers & interpreters
Computer programming / software engineering
Artificial intelligence
Computer networking & communications
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
On-line přístup:https://directory.doabooks.org/handle/20.500.12854/35090
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!

Podobné jednotky