Algorithmic correspondence for intuitionistic modal mu-calculus

W Conradie, Y Fomatati, A Palmigiano, S Sourabh

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	30-62
Number of pages	33
Journal	Theoretical Computer Science
Volume	564
Publication status	Published - 2015

Keywords

@article{d3afa9e212234f1ca548a1a392589752,

title = "Algorithmic correspondence for intuitionistic modal mu-calculus",

keywords = "CWTS JFIS < 0.75",

author = "W Conradie and Y Fomatati and A Palmigiano and S Sourabh",

year = "2015",

language = "Undefined/Unknown",

volume = "564",

pages = "30--62",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

}