Library
local_library
Home Repository
YV
Y Venema
Academic Work (1)
Journal article (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Proof systems for Moss' coalgebraic logic
Journal article (2014) -
Marta Bílková (author)
,
A. Palmigiano (author)
,
Y Venema (author)
