Library
local_library
Home Repository
SF
S Frittella
Academic Work (2)
Conference paper (2)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
2 records found
1
Probabilistic epistemic updates on algebras
Conference paper (2015) -
W Conradie (author)
,
S Frittella (author)
,
A. Palmigiano (author)
,
A Tzimoulis (author)
Multi-type sequent calculi
Conference paper (2014) -
S Frittella (author)
,
Giuseppe Greco (author)
,
A Kurz (author)
,
A. Palmigiano (author)
,
A Sikimi¿ (author)