21st FoSSaCS 2018: Thessaloniki, Greece (Part of ETAPS 2018)

Refine list

showing all ?? records

Semantics

Linearity

Concurrency

Lambda-Calculi and Types

Category Theory and Quantum Control

Quantitative Models

Logics and Equational Theories

Graphs and Automata

a service of  Schloss Dagstuhl - Leibniz Center for Informatics