![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs19.bht:"
@inproceedings{DBLP:journals/entcs/BreugelW99, author = {Franck van Breugel and Stephen Watson}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {A Note on Hyperspaces and Terminal Coalgebras}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {201--208}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80277-4}, doi = {10.1016/S1571-0661(05)80277-4}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BreugelW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Cirstea99, author = {Corina C{\^{\i}}rstea}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {A Coequational Approach to Specifying Behaviours}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {142--163}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80274-9}, doi = {10.1016/S1571-0661(05)80274-9}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Cirstea99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CorradinHM99, author = {Andrea Corradini and Reiko Heckel and Ugo Montanari}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {From {SOS} Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {118--141}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80273-7}, doi = {10.1016/S1571-0661(05)80273-7}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/CorradinHM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HennickerK99, author = {Rolf Hennicker and Alexander Kurz}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {164--180}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80275-0}, doi = {10.1016/S1571-0661(05)80275-0}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HennickerK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JacobsR99, author = {Bart Jacobs and Jan J. M. M. Rutten}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {Preface}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {1}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80264-6}, doi = {10.1016/S1571-0661(05)80264-6}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/JacobsR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lasota99, author = {Slawomir Lasota}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {Coalgebra morphisms subsume open maps}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {23}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80266-X}, doi = {10.1016/S1571-0661(05)80266-X}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lasota99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lenisa99, author = {Marina Lenisa}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {2--22}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80265-8}, doi = {10.1016/S1571-0661(05)80265-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lenisa99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LucanuGA99, author = {Dorel Lucanu and Ovidiu Gheorghies and Adriana Apetrei}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {Bisimulation and Hidden Algebra}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {181--200}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80276-2}, doi = {10.1016/S1571-0661(05)80276-2}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LucanuGA99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PavlovicP99, author = {Dusko Pavlovic and Vaughan R. Pratt}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {On coalgebra of real numbers}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {103--117}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80272-5}, doi = {10.1016/S1571-0661(05)80272-5}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PavlovicP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PowerW99, author = {John Power and Hiroshi Watanabe}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {Distributivity for a monad and a comonad}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {102}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80271-3}, doi = {10.1016/S1571-0661(05)80271-3}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PowerW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Rossiger99, author = {Martin R{\"{o}}{\ss}iger}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {Languages for Coalgebras on Datafunctors}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {39--60}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80268-3}, doi = {10.1016/S1571-0661(05)80268-3}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Rossiger99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/WegnerG99, author = {Peter Wegner and Dina Q. Goldin}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {Coinductive Models of Finite Computing Agents}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {81--101}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80270-1}, doi = {10.1016/S1571-0661(05)80270-1}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/WegnerG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Wolter99, author = {Uwe Wolter}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {A coalgebraic introduction to {CSP}}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {61--80}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80269-5}, doi = {10.1016/S1571-0661(05)80269-5}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Wolter99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Worrell99, author = {James Worrell}, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {Terminal sequences for accessible endofunctors}, booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, pages = {24--38}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80267-1}, doi = {10.1016/S1571-0661(05)80267-1}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Worrell99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cmcs/1999, editor = {Bart Jacobs and Jan J. M. M. Rutten}, title = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The Netherlands, March 20-21, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {19}, publisher = {Elsevier}, year = {1999}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/19/suppl/C}, timestamp = {Thu, 16 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cmcs/1999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.