Search Results

Documents authored by Ivetic, Jelena


Found 2 Possible Name Variants:

Ivetić, Jelena

Document
Complete Volume
LIPIcs, Volume 97, TYPES'16, Complete Volume

Authors: Silvia Ghilezan, Herman Geuvers, and Jelena Ivetić

Published in: LIPIcs, Volume 97, 22nd International Conference on Types for Proofs and Programs (TYPES 2016)


Abstract
LIPIcs, Volume 97, TYPES'16, Complete Volume

Cite as

22nd International Conference on Types for Proofs and Programs (TYPES 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 97, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Proceedings{ghilezan_et_al:LIPIcs.TYPES.2016,
  title =	{{LIPIcs, Volume 97, TYPES'16, Complete Volume}},
  booktitle =	{22nd International Conference on Types for Proofs and Programs (TYPES 2016)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-065-1},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{97},
  editor =	{Ghilezan, Silvia and Geuvers, Herman and Ivetic, Jelena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2016},
  URN =		{urn:nbn:de:0030-drops-98651},
  doi =		{10.4230/LIPIcs.TYPES.2016},
  annote =	{Keywords: Theory of computation, Type theory}
}
Document
Front Matter
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Silvia Ghilezan, Herman Geuvers, and Jelena Ivetic

Published in: LIPIcs, Volume 97, 22nd International Conference on Types for Proofs and Programs (TYPES 2016)


Abstract
Front Matter, Table of Contents, Preface, Conference Organization

Cite as

22nd International Conference on Types for Proofs and Programs (TYPES 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 97, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{ghilezan_et_al:LIPIcs.TYPES.2016.0,
  author =	{Ghilezan, Silvia and Geuvers, Herman and Ivetic, Jelena},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{22nd International Conference on Types for Proofs and Programs (TYPES 2016)},
  pages =	{0:i--0:x},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-065-1},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{97},
  editor =	{Ghilezan, Silvia and Geuvers, Herman and Ivetic, Jelena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2016.0},
  URN =		{urn:nbn:de:0030-drops-98466},
  doi =		{10.4230/LIPIcs.TYPES.2016.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}

Ivetic, Jelena

Document
Complete Volume
LIPIcs, Volume 97, TYPES'16, Complete Volume

Authors: Silvia Ghilezan, Herman Geuvers, and Jelena Ivetić

Published in: LIPIcs, Volume 97, 22nd International Conference on Types for Proofs and Programs (TYPES 2016)


Abstract
LIPIcs, Volume 97, TYPES'16, Complete Volume

Cite as

22nd International Conference on Types for Proofs and Programs (TYPES 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 97, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Proceedings{ghilezan_et_al:LIPIcs.TYPES.2016,
  title =	{{LIPIcs, Volume 97, TYPES'16, Complete Volume}},
  booktitle =	{22nd International Conference on Types for Proofs and Programs (TYPES 2016)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-065-1},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{97},
  editor =	{Ghilezan, Silvia and Geuvers, Herman and Ivetic, Jelena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2016},
  URN =		{urn:nbn:de:0030-drops-98651},
  doi =		{10.4230/LIPIcs.TYPES.2016},
  annote =	{Keywords: Theory of computation, Type theory}
}
Document
Front Matter
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Silvia Ghilezan, Herman Geuvers, and Jelena Ivetic

Published in: LIPIcs, Volume 97, 22nd International Conference on Types for Proofs and Programs (TYPES 2016)


Abstract
Front Matter, Table of Contents, Preface, Conference Organization

Cite as

22nd International Conference on Types for Proofs and Programs (TYPES 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 97, pp. 0:i-0:x, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{ghilezan_et_al:LIPIcs.TYPES.2016.0,
  author =	{Ghilezan, Silvia and Geuvers, Herman and Ivetic, Jelena},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{22nd International Conference on Types for Proofs and Programs (TYPES 2016)},
  pages =	{0:i--0:x},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-065-1},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{97},
  editor =	{Ghilezan, Silvia and Geuvers, Herman and Ivetic, Jelena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2016.0},
  URN =		{urn:nbn:de:0030-drops-98466},
  doi =		{10.4230/LIPIcs.TYPES.2016.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail