Search dblp for Publications

export results for "toc:db/conf/dagstuhl/dagstuhl-pe96.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dagstuhl/BlazyF96,
  author       = {Sandrine Blazy and
                  Philippe Facon},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {An Automatic Interprocedural Analysis for the Understanding of Scientific
                  Application Programs},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_1},
  doi          = {10.1007/3-540-61580-6\_1},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BlazyF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BulyonkovK96,
  author       = {Mikhail A. Bulyonkov and
                  Dmitry V. Kochetov},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Practical Aspects of Specialization of Algol-like Programs},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_2},
  doi          = {10.1007/3-540-61580-6\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BulyonkovK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/ChinKT96,
  author       = {Wei{-}Ngan Chin and
                  Siau{-}Cheng Khoo and
                  Peter Thiemann},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Synchronization Analyses for Multiple Recursion Parameters (Extended
                  Abstract)},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {33--53},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_3},
  doi          = {10.1007/3-540-61580-6\_3},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ChinKT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/ConselHNNV96,
  author       = {Charles Consel and
                  Luke Hornof and
                  Fran{\c{c}}ois No{\"{e}}l and
                  Jacques Noy{\'{e}} and
                  Nicolae Volansche},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {A Uniform Approach for Compile-Time and Run-Time Specialization},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {54--72},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_4},
  doi          = {10.1007/3-540-61580-6\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ConselHNNV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Danvy96,
  author       = {Olivier Danvy},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Pragmatics of Type-Directed Partial Evaluation},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {73--94},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_5},
  doi          = {10.1007/3-540-61580-6\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Danvy96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Draves96,
  author       = {Scott Draves},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Compiler Generation for Interactive Graphics Using Intermediate Code},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {95--114},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_6},
  doi          = {10.1007/3-540-61580-6\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Draves96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/GallagherL96,
  author       = {John P. Gallagher and
                  Laura Lafave},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Regular Approximation of Computation Paths in Logic and Functional
                  Languages},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {115--136},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_7},
  doi          = {10.1007/3-540-61580-6\_7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GallagherL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/GluckS96,
  author       = {Robert Gl{\"{u}}ck and
                  Morten Heine S{\o}rensen},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {A Roadmap to Metacomputation by Supercompilation},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {137--160},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_8},
  doi          = {10.1007/3-540-61580-6\_8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GluckS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/HatcliffG96,
  author       = {John Hatcliff and
                  Robert Gl{\"{u}}ck},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Reasoning about Hierarchies of Online Program Specialization Systems},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {161--182},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_9},
  doi          = {10.1007/3-540-61580-6\_9},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/HatcliffG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Hughes96,
  author       = {John Hughes},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Type Specialisation for the lambda-Calculus; or, {A} New Paradigm
                  for Partial Evaluation Based on Type Inference},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {183--215},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_10},
  doi          = {10.1007/3-540-61580-6\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Hughes96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Jones96,
  author       = {Neil D. Jones},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {What Not to Do When Writing an Interpreter for Specialisation},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {216--237},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_11},
  doi          = {10.1007/3-540-61580-6\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Jones96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/JorgensenL96,
  author       = {Jesper J{\o}rgensen and
                  Michael Leuschel},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Efficiently Generating Efficient Generating Extensions in Prolog},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {238--262},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_12},
  doi          = {10.1007/3-540-61580-6\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/JorgensenL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/LeuschelM96,
  author       = {Michael Leuschel and
                  Bern Martens},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Global Control for Partial Deduction through Characteristic Atoms
                  and Global Trees},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {263--283},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_13},
  doi          = {10.1007/3-540-61580-6\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/LeuschelM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/MiniussiS96,
  author       = {Alain Miniussi and
                  David J. Sherman},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Squeezing Intermediate Construction in Equational Programs},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {284--302},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_14},
  doi          = {10.1007/3-540-61580-6\_14},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MiniussiS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Mogensen96,
  author       = {Torben {\AE}. Mogensen},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Evolution of Partial Evaluators: Removing Inherited Limits},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {303--321},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_15},
  doi          = {10.1007/3-540-61580-6\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Mogensen96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/NemytykhPT96,
  author       = {Andrei P. Nemytykh and
                  Victoria A. Pinchuk and
                  Valentin F. Turchin},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {A Self-Applicable Supercompiler},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {322--337},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_16},
  doi          = {10.1007/3-540-61580-6\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/NemytykhPT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/NielsonN96,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Multi-Level Lambda-Calculi: An Algebraic Description},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {338--354},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_17},
  doi          = {10.1007/3-540-61580-6\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/NielsonN96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/PettorossiP96,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {A Comparative Revisitation of Some Program Transformation Techniques},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {355--385},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_18},
  doi          = {10.1007/3-540-61580-6\_18},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/PettorossiP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/PettorossiP96a,
  author       = {Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {A Theory of Logic Program Specialization and Generalization for Dealing
                  with Input Data Properties},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {386--408},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_19},
  doi          = {10.1007/3-540-61580-6\_19},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/PettorossiP96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/RepsT96,
  author       = {Thomas W. Reps and
                  Todd Turnidge},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Program Specialization via Program Slicing},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {409--429},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_20},
  doi          = {10.1007/3-540-61580-6\_20},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/RepsT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Sakharov96,
  author       = {Alexander Sakharov},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Specialization of Imperative Programs Through Analysis of Relational
                  Expressions},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {430--445},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_21},
  doi          = {10.1007/3-540-61580-6\_21},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Sakharov96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Sestoft96,
  author       = {Peter Sestoft},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {{MK} Pattern Match Compilation and Partial Evaluation},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {446--464},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_22},
  doi          = {10.1007/3-540-61580-6\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Sestoft96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Sperber96,
  author       = {Michael Sperber},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Self-Applicable Online Partial Evaluation},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {465--480},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_23},
  doi          = {10.1007/3-540-61580-6\_23},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Sperber96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Turchin96,
  author       = {Valentin F. Turchin},
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Metacomputation: Metasystem Transitions plus Supercompilation},
  booktitle    = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  pages        = {481--509},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6\_24},
  doi          = {10.1007/3-540-61580-6\_24},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Turchin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dagstuhl/1996pe,
  editor       = {Olivier Danvy and
                  Robert Gl{\"{u}}ck and
                  Peter Thiemann},
  title        = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany,
                  February 12-16, 1996, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1110},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61580-6},
  doi          = {10.1007/3-540-61580-6},
  isbn         = {3-540-61580-6},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/1996pe.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.