Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1202-3496,
  author       = {Andreas Abel},
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive
                  Types},
  booktitle    = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  pages        = {1--11},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77.1},
  doi          = {10.4204/EPTCS.77.1},
  timestamp    = {Sat, 09 Apr 2022 12:27:12 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3496.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1202-3497,
  author       = {Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Characteristic Formulae for Relations with Nested Fixed Points},
  booktitle    = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  pages        = {15--22},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77.3},
  doi          = {10.4204/EPTCS.77.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3497.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1202-3498,
  author       = {Axel Haddad},
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {{IO} vs {OI} in Higher-Order Recursion Schemes},
  booktitle    = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  pages        = {23--30},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77.4},
  doi          = {10.4204/EPTCS.77.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3498.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1202-3499,
  author       = {Andr{\'{e}} Hirschowitz and
                  Marco Maggesi},
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Initial Semantics for Strengthened Signatures},
  booktitle    = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  pages        = {31--38},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77.5},
  doi          = {10.4204/EPTCS.77.5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3499.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1202-3500,
  author       = {Martin Lange and
                  {\'{E}}tienne Lozes},
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Model-Checking the Higher-Dimensional Modal mu-Calculus},
  booktitle    = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  pages        = {39--46},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77.6},
  doi          = {10.4204/EPTCS.77.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3500.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1202-3501,
  author       = {Grigori Mints and
                  Thomas Studer},
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Cut-elimination for the mu-calculus with one variable},
  booktitle    = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  pages        = {47--54},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77.7},
  doi          = {10.4204/EPTCS.77.7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3501.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1202-3502,
  author       = {Tarmo Uustalu},
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Structured general corecursion and coinductive graphs [extended abstract]},
  booktitle    = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  pages        = {55--61},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77.8},
  doi          = {10.4204/EPTCS.77.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3502.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1202-3174,
  editor       = {Dale Miller and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Proceedings 8th Workshop on Fixed Points in Computer Science, {FICS}
                  2012, Tallinn, Estonia, 24th March 2012},
  series       = {{EPTCS}},
  volume       = {77},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.77},
  doi          = {10.4204/EPTCS.77},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-3174.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}