Search dblp for Publications

export results for "toc:db/conf/cmcs/cmcs2006.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/AdamekMV06a,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Jir{\'{\i}} Velebil},
  editor       = {Neil Ghani and
                  John Power},
  title        = {How Iterative are Iterative Algebras?},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {157--175},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.010},
  doi          = {10.1016/J.ENTCS.2006.06.010},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AdamekMV06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CancilaHL06a,
  author       = {Daniela Cancila and
                  Furio Honsell and
                  Marina Lenisa},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Some Properties and Some Problems on Set Functors},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {67--84},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.005},
  doi          = {10.1016/J.ENTCS.2006.06.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CancilaHL06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Cirstea06,
  author       = {Corina C{\^{\i}}rstea},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Modularity in Coalgebra},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {3--26},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.002},
  doi          = {10.1016/J.ENTCS.2006.06.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Cirstea06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GhaniHP06,
  author       = {Neil Ghani and
                  Peter G. Hancock and
                  Dirk Pattinson},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Continuous Functions on Final Coalgebras},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {141--155},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.009},
  doi          = {10.1016/J.ENTCS.2006.06.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GhaniHP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GhaniP06,
  author       = {Neil Ghani and
                  John Power},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Preface},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.001},
  doi          = {10.1016/J.ENTCS.2006.06.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GhaniP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HansenCR06,
  author       = {Helle Hvid Hansen and
                  David Costa and
                  Jan J. M. M. Rutten},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Synthesis of Mealy Machines Using Derivatives},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {27--45},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.003},
  doi          = {10.1016/J.ENTCS.2006.06.003},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HansenCR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HasuoJS06,
  author       = {Ichiro Hasuo and
                  Bart Jacobs and
                  Ana Sokolova},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Generic Trace Theory},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {47--65},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.004},
  doi          = {10.1016/J.ENTCS.2006.06.004},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HasuoJS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Levy06b,
  author       = {Paul Blain Levy},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Infinitary Howe's Method},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {85--104},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.006},
  doi          = {10.1016/J.ENTCS.2006.06.006},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Levy06b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Luo06,
  author       = {Lingyun Luo},
  editor       = {Neil Ghani and
                  John Power},
  title        = {An Effective Coalgebraic Bisimulation Proof Method},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {105--119},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.007},
  doi          = {10.1016/J.ENTCS.2006.06.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Luo06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Niqui06,
  author       = {Milad Niqui},
  editor       = {Neil Ghani and
                  John Power},
  title        = {Coinductive Field of Exact Real Numbers and General Corecursion},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {121--139},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.008},
  doi          = {10.1016/J.ENTCS.2006.06.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Niqui06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WatanabeNT06,
  author       = {Hiroshi Watanabe and
                  Koki Nishizawa and
                  Osamu Takaki},
  editor       = {Neil Ghani and
                  John Power},
  title        = {A Coalgebraic Representation of Reduction by Cone of Influence},
  booktitle    = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  pages        = {177--194},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.06.011},
  doi          = {10.1016/J.ENTCS.2006.06.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WatanabeNT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cmcs/2006,
  editor       = {Neil Ghani and
                  John Power},
  title        = {Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer
                  Science, {CMCS} 2006, Vienna, Austria, March 25-27, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {164},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/164/issue/1},
  timestamp    = {Thu, 16 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cmcs/2006.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.