Catálogo de publicaciones - libros

Compartir en
redes sociales

Título de Acceso Abierto

Foundations of Software Science and Computation Structures: 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

Parte de: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

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