Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
modal mu-calculus
Publications
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2
Willem Conradie
,
Yves Fomatati
,
Alessandra Palmigiano
and
Sumit Sourabh
In
:
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1
Willem Conradie
,
Yves Fomatati
,
Alessandra Palmigiano
and
Sumit Sourabh
In
:
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Copyright © 2012-2025 easychair.org. All rights reserved.
