Library
local_library
Home Repository
AS
A Sikimi¿
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Multi-type sequent calculi
Conference paper (2014) -
S Frittella (author)
,
Giuseppe Greco (author)
,
A Kurz (author)
,
A. Palmigiano (author)
,
A Sikimi¿ (author)
