Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Heyting algebras
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
Copyright © 2012-2024 easychair.org. All rights reserved.