dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jelena Ivetic (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec: Intersection Types for the Resource Control Lambda Calculi. ICTAC 2011: 116-134
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec: Resource control and strong normalisation CoRR abs/1112.3455: (2011)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSilvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic: Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. TbiLLC 2009: 101-124
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Espírito Santo, Silvia Ghilezan, Jelena Ivetic: Characterising Strongly Normalising Intuitionistic Sequent Terms. TYPES 2007: 85-99

Selection of 4 from 4 records - Jelena Ivetic has 5 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page