16th FoSSaCS 2013: Rome, Italy (Part of ETAPS 2013)

Refine list

showing all ?? records

Models of Computation

Reasoning about Processes

Bisimulation

Modal and Higher-Order Logics

Reasoning about Programs

Computational Complexity

Quantitative Models

Categorical Models

a service of  Schloss Dagstuhl - Leibniz Center for Informatics