Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Circular proofs for the modal mu-calculus

Conference paper
Authors Bahareh Afshari
Graham E. Leigh
Published in Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany.
Publication year 2016
Published at
Language en
Subject categories Theoretical computer science, Mathematical logic
Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?