(1 - 11 from 12
)
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.
Formal Theorem Proving and Applications 2008
argo.matf.bg.ac.rs
Enes Duvnjakovic, University of Tuzla; Filip Maric, University of Belgrade; Jelena Ivetic, University of Novi Sad; Makarius Wenzel, TU Munich; Matijaz Kovse, ...
sorted by relevance / date