Library
local_library
Home Repository
YF
Y Fomatati
Academic Work (1)
Journal article (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Algorithmic correspondence for intuitionistic modal mu-calculus
Journal article (2015) -
W Conradie (author)
,
Y Fomatati (author)
,
Alessandra Palmigiano (author)
,
S Sourabh (author)
