Search dblp for Publications

export results for "stream:conf/linearity:"

 download as .bib file

@proceedings{DBLP:journals/corr/CervesatoF17,
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.238},
  doi          = {10.4204/EPTCS.238},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CervesatoF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Acclavio16,
  author       = {Matteo Acclavio},
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {Proof diagrams for multiplicative linear logic},
  booktitle    = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  pages        = {11--23},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.238.2},
  doi          = {10.4204/EPTCS.238.2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Acclavio16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Allioux17,
  author       = {Antoine Allioux},
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {Krivine Machine and Taylor Expansion in a Non-uniform Setting},
  booktitle    = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  pages        = {24--32},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.238.3},
  doi          = {10.4204/EPTCS.238.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Allioux17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DunnV17,
  author       = {Lawrence Dunn and
                  Jamie Vicary},
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)},
  booktitle    = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  pages        = {33--43},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.238.4},
  doi          = {10.4204/EPTCS.238.4},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DunnV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Guerrini17,
  author       = {Stefano Guerrini},
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {Linear {\(\beta\)}-reduction},
  booktitle    = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  pages        = {44--53},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.238.5},
  doi          = {10.4204/EPTCS.238.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Guerrini17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Hasegawa17,
  author       = {Masahito Hasegawa},
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {Linear Exponential Comonads without Symmetry},
  booktitle    = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  pages        = {54--63},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.238.6},
  doi          = {10.4204/EPTCS.238.6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Hasegawa17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HeathM17,
  author       = {Quentin Heath and
                  Dale Miller},
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {A Proof Theory for Model Checking: An Extended Abstract},
  booktitle    = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  pages        = {1--10},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.238.1},
  doi          = {10.4204/EPTCS.238.1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HeathM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SilvaFP17,
  author       = {Miguel E. P. Silva and
                  M{\'{a}}rio Florido and
                  Frank Pfenning},
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {Non-Blocking Concurrent Imperative Programming with Session Types},
  booktitle    = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  pages        = {64--72},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.238.7},
  doi          = {10.4204/EPTCS.238.7},
  timestamp    = {Fri, 22 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SilvaFP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/WillseyPP17,
  author       = {Max Willsey and
                  Rokhini Prabhu and
                  Frank Pfenning},
  editor       = {Iliano Cervesato and
                  Maribel Fern{\'{a}}ndez},
  title        = {Design and Implementation of Concurrent {C0}},
  booktitle    = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
                  2016, Porto, Portugal, 25 June 2016},
  series       = {{EPTCS}},
  volume       = {238},
  pages        = {73--82},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.238.8},
  doi          = {10.4204/EPTCS.238.8},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/WillseyPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/AlvesC15,
  editor       = {Sandra Alves and
                  Iliano Cervesato},
  title        = {Proceedings Third International Workshop on Linearity, {LINEARITY}
                  2014, Vienna, Austria, 13th July, 2014},
  series       = {{EPTCS}},
  volume       = {176},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.176},
  doi          = {10.4204/EPTCS.176},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AlvesC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Basaldella15,
  author       = {Michele Basaldella},
  editor       = {Sandra Alves and
                  Iliano Cervesato},
  title        = {Ludics without Designs {I:} Triads},
  booktitle    = {Proceedings Third International Workshop on Linearity, {LINEARITY}
                  2014, Vienna, Austria, 13th July, 2014},
  series       = {{EPTCS}},
  volume       = {176},
  pages        = {49--63},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.176.5},
  doi          = {10.4204/EPTCS.176.5},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Basaldella15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Brock-Nannestad15,
  author       = {Taus Brock{-}Nannestad and
                  Nicolas Guenot},
  editor       = {Sandra Alves and
                  Iliano Cervesato},
  title        = {Cut Elimination in Multifocused Linear Logic},
  booktitle    = {Proceedings Third International Workshop on Linearity, {LINEARITY}
                  2014, Vienna, Austria, 13th July, 2014},
  series       = {{EPTCS}},
  volume       = {176},
  pages        = {24--33},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.176.3},
  doi          = {10.4204/EPTCS.176.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Brock-Nannestad15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Chaudhuri15,
  author       = {Kaustuv Chaudhuri},
  editor       = {Sandra Alves and
                  Iliano Cervesato},
  title        = {Undecidability of Multiplicative Subexponential Logic},
  booktitle    = {Proceedings Third International Workshop on Linearity, {LINEARITY}
                  2014, Vienna, Austria, 13th July, 2014},
  series       = {{EPTCS}},
  volume       = {176},
  pages        = {1--8},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.176.1},
  doi          = {10.4204/EPTCS.176.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Chaudhuri15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GanTM15,
  author       = {Edward Gan and
                  Jesse A. Tov and
                  Greg Morrisett},
  editor       = {Sandra Alves and
                  Iliano Cervesato},
  title        = {Type Classes for Lightweight Substructural Types},
  booktitle    = {Proceedings Third International Workshop on Linearity, {LINEARITY}
                  2014, Vienna, Austria, 13th July, 2014},
  series       = {{EPTCS}},
  volume       = {176},
  pages        = {34--48},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.176.4},
  doi          = {10.4204/EPTCS.176.4},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GanTM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LagoZ15,
  author       = {Ugo Dal Lago and
                  Margherita Zorzi},
  editor       = {Sandra Alves and
                  Iliano Cervesato},
  title        = {Wave-Style Token Machines and Quantum Lambda Calculi},
  booktitle    = {Proceedings Third International Workshop on Linearity, {LINEARITY}
                  2014, Vienna, Austria, 13th July, 2014},
  series       = {{EPTCS}},
  volume       = {176},
  pages        = {64--78},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.176.6},
  doi          = {10.4204/EPTCS.176.6},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/LagoZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/PaykinZ15,
  author       = {Jennifer Paykin and
                  Steve Zdancewic},
  editor       = {Sandra Alves and
                  Iliano Cervesato},
  title        = {A Linear/Producer/Consumer Model of Classical Linear Logic},
  booktitle    = {Proceedings Third International Workshop on Linearity, {LINEARITY}
                  2014, Vienna, Austria, 13th July, 2014},
  series       = {{EPTCS}},
  volume       = {176},
  pages        = {9--23},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.176.2},
  doi          = {10.4204/EPTCS.176.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PaykinZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Solieri15,
  author       = {Marco Solieri},
  editor       = {Sandra Alves and
                  Iliano Cervesato},
  title        = {Geometry of Resource Interaction - {A} Minimalist Approach},
  booktitle    = {Proceedings Third International Workshop on Linearity, {LINEARITY}
                  2014, Vienna, Austria, 13th July, 2014},
  series       = {{EPTCS}},
  volume       = {176},
  pages        = {79--94},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.176.7},
  doi          = {10.4204/EPTCS.176.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Solieri15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-4097,
  author       = {Maurizio Dominici and
                  Simona Ronchi Della Rocca and
                  Paolo Tranquilli},
  editor       = {Sandra Alves and
                  Ian Mackie},
  title        = {Standardization in resource lambda-calculus},
  booktitle    = {Proceedings 2nd International Workshop on Linearity, {LINEARITY} 2012,
                  Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {101},
  pages        = {1--11},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.101.1},
  doi          = {10.4204/EPTCS.101.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-4097.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-4098,
  author       = {Maribel Fern{\'{a}}ndez and
                  S{\'{e}}bastien Maulat},
  editor       = {Sandra Alves and
                  Ian Mackie},
  title        = {Higher-order port-graph rewriting},
  booktitle    = {Proceedings 2nd International Workshop on Linearity, {LINEARITY} 2012,
                  Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {101},
  pages        = {25--37},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.101.3},
  doi          = {10.4204/EPTCS.101.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-4098.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-4099,
  author       = {Pedro Baltazar and
                  Dimitris Mostrous and
                  Vasco Thudichum Vasconcelos},
  editor       = {Sandra Alves and
                  Ian Mackie},
  title        = {Linearly Refined Session Types},
  booktitle    = {Proceedings 2nd International Workshop on Linearity, {LINEARITY} 2012,
                  Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {101},
  pages        = {38--49},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.101.4},
  doi          = {10.4204/EPTCS.101.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-4099.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-4100,
  author       = {Yuxin Deng and
                  Iliano Cervesato and
                  Robert J. Simmons},
  editor       = {Sandra Alves and
                  Ian Mackie},
  title        = {Relating Reasoning Methodologies in Linear Logic and Process Algebra},
  booktitle    = {Proceedings 2nd International Workshop on Linearity, {LINEARITY} 2012,
                  Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {101},
  pages        = {50--60},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.101.5},
  doi          = {10.4204/EPTCS.101.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-4100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1211-4102,
  author       = {Eugen Jiresch},
  editor       = {Sandra Alves and
                  Ian Mackie},
  title        = {Extending the Interaction Nets Calculus by Generic Rules},
  booktitle    = {Proceedings 2nd International Workshop on Linearity, {LINEARITY} 2012,
                  Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {101},
  pages        = {12--24},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.101.2},
  doi          = {10.4204/EPTCS.101.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-4102.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1211-3480,
  editor       = {Sandra Alves and
                  Ian Mackie},
  title        = {Proceedings 2nd International Workshop on Linearity, {LINEARITY} 2012,
                  Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {101},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.101},
  doi          = {10.4204/EPTCS.101},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-3480.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1003-5511,
  author       = {Marco Gaboardi and
                  Mauro Piccolo},
  editor       = {M{\'{a}}rio Florido and
                  Ian Mackie},
  title        = {Categorical Models for a Semantically Linear Lambda-calculus},
  booktitle    = {Proceedings First International Workshop on Linearity, {LINEARITY}
                  2009, Coimbra, Portugal, 12th September 2009},
  series       = {{EPTCS}},
  volume       = {22},
  pages        = {1--13},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.22.1},
  doi          = {10.4204/EPTCS.22.1},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-5511.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1003-5512,
  author       = {Paolo Torrini and
                  Reiko Heckel},
  editor       = {M{\'{a}}rio Florido and
                  Ian Mackie},
  title        = {Resource-Bound Quantification for Graph Transformation},
  booktitle    = {Proceedings First International Workshop on Linearity, {LINEARITY}
                  2009, Coimbra, Portugal, 12th September 2009},
  series       = {{EPTCS}},
  volume       = {22},
  pages        = {14--25},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.22.2},
  doi          = {10.4204/EPTCS.22.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-5512.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1003-5513,
  author       = {Edsko de Vries and
                  Adrian Francalanza and
                  Matthew Hennessy},
  editor       = {M{\'{a}}rio Florido and
                  Ian Mackie},
  title        = {Uniqueness Typing for Resource Management in Message-Passing Concurrency},
  booktitle    = {Proceedings First International Workshop on Linearity, {LINEARITY}
                  2009, Coimbra, Portugal, 12th September 2009},
  series       = {{EPTCS}},
  volume       = {22},
  pages        = {26--37},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.22.3},
  doi          = {10.4204/EPTCS.22.3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-5513.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1003-5515,
  author       = {Maribel Fern{\'{a}}ndez and
                  Nikolaos Siafakas},
  editor       = {M{\'{a}}rio Florido and
                  Ian Mackie},
  title        = {Labelled Lambda-calculi with Explicit Copy and Erase},
  booktitle    = {Proceedings First International Workshop on Linearity, {LINEARITY}
                  2009, Coimbra, Portugal, 12th September 2009},
  series       = {{EPTCS}},
  volume       = {22},
  pages        = {49--64},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.22.5},
  doi          = {10.4204/EPTCS.22.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-5515.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1003-5518,
  author       = {Antonio Bucciarelli and
                  Alberto Carraro and
                  Thomas Ehrhard and
                  Antonino Salibra},
  editor       = {M{\'{a}}rio Florido and
                  Ian Mackie},
  title        = {On Linear Information Systems},
  booktitle    = {Proceedings First International Workshop on Linearity, {LINEARITY}
                  2009, Coimbra, Portugal, 12th September 2009},
  series       = {{EPTCS}},
  volume       = {22},
  pages        = {38--48},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.22.4},
  doi          = {10.4204/EPTCS.22.4},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-5518.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1003-5716,
  editor       = {M{\'{a}}rio Florido and
                  Ian Mackie},
  title        = {Proceedings First International Workshop on Linearity, {LINEARITY}
                  2009, Coimbra, Portugal, 12th September 2009},
  series       = {{EPTCS}},
  volume       = {22},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.22},
  doi          = {10.4204/EPTCS.22},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1003-5716.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.