(1 - 8 from 9
)
COST IC0901 WG1 and WG2 Meeting and Third Workshop on Formal and...
argo.matf.bg.ac.rs
18: :30, Jelena Ivetic (University of Novi Sad, Serbia): Intuitionistic Sequent-style Calculus with Explicit Structural Rules slides.
sorted by relevance / date