To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

Cut-free completeness for… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Cut-free completeness for modal mu-calculus

Conference paper
Authors Bahareh Afshari
Graham E. Leigh
Published in 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland
ISBN 978-1-5090-3018-7
Publisher Association for Computing Machinery (ACM)
Publication year 2017
Published at Department of Computer Science and Engineering (GU)
Department of Philosophy, Linguistics and Theory of Science
Language en
Links https://doi.org/10.1109/LICS.2017.8...
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?