Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
RA
R Andres Leal
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Strong completeness for iteration-free coalgebraic dynamic logics
Conference paper (2014) -
H. Hansen (author)
,
C Kupke (author)
,
R Andres Leal (author)
