Fundamentos de la Ciencia del Software y Estructuras Computacionales

Foundations of Software Science and Computation Structures

FoSSaCS: International Conference on Foundations of Software Science and Computation Structures. Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, (Thessaloniki, Greece, April 14–20, 2018):  Proceedings. Editors : Christel BaierUgo Dal Lago.

DESCARGAR PDFDESCARGAR EPUB

Este libro constituye las actas de la 21ª Conferencia Internacional sobre Fundamentos de la Ciencia del Software y Estructuras Computacionales, FOSSACS 2018, que tuvo lugar en Tesalónica, Grecia, en abril de 2018, como parte de la Conferencia Conjunta Europea sobre Teoría y Práctica del Software, ETAPS 2018.

Los 31 trabajos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 103 propuestas. Las ponencias están organizadas en secciones temáticas denominadas: semántica; linealidad; concurrencia; lambda-calculi y tipos; teoría de categorías y control cuántico; modelos cuantitativos; lógicas y teorías ecuacionales; y gráficos y autómatas.

 

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Salir /  Cambiar )

Google photo

Estás comentando usando tu cuenta de Google. Salir /  Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Salir /  Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Salir /  Cambiar )

Conectando a %s