default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs11.bht:"
@inproceedings{DBLP:journals/entcs/CaspiP98, author = {Paul Caspi and Marc Pouzet}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {A Co-iterative Characterization of Synchronous Stream Functions}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {1--21}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00050-7}, doi = {10.1016/S1571-0661(04)00050-7}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CaspiP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CorradiniGH98, author = {Andrea Corradini and Martin Gro{\ss}e{-}Rhode and Reiko Heckel}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Structured Transition Systems as Lax Coalgebras}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {22--41}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00051-9}, doi = {10.1016/S1571-0661(04)00051-9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/CorradiniGH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/GummS98, author = {H. Peter Gumm and Tobias Schr{\"{o}}der}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Covarieties and Complete Covarieties}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {42--55}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00052-0}, doi = {10.1016/S1571-0661(04)00052-0}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/GummS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Jacobs98, author = {Bart Jacobs}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Coalgebraic Reasoning about Classes in Object-Oriented Languages}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {231--242}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00061-1}, doi = {10.1016/S1571-0661(04)00061-1}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Jacobs98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JacobsMRR98, author = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Preface}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {259}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(05)80564-X}, doi = {10.1016/S1571-0661(05)80564-X}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/JacobsMRR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kurz98, author = {Alexander Kurz}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Specifying Coalgebras with Modal Logic}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {56--70}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00053-2}, doi = {10.1016/S1571-0661(04)00053-2}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Kurz98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Monteiro98, author = {Lu{\'{\i}}s Monteiro}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Semantic domains based on sets with families of equivalences}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {71--104}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00054-4}, doi = {10.1016/S1571-0661(04)00054-4}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Monteiro98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Pardo98, author = {Alberto Pardo}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Monadic Corecursion - Definition, Fusion Laws, and Applications}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {105--139}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00055-6}, doi = {10.1016/S1571-0661(04)00055-6}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Pardo98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Pavlovic98, author = {Dusko Pavlovic}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Guarded induction on final coalgebras}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {140--157}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00056-8}, doi = {10.1016/S1571-0661(04)00056-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Pavlovic98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/PowerW98, author = {John Power and Hiroshi Watanabe}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {An axiomatics for categories of coalgebras}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {158--175}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00057-X}, doi = {10.1016/S1571-0661(04)00057-X}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PowerW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Reichel98, author = {Horst Reichel}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Dialgebraic Logics}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {243--251}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00062-3}, doi = {10.1016/S1571-0661(04)00062-3}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Reichel98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Rosu98, author = {Grigore Rosu}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {176--193}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00058-1}, doi = {10.1016/S1571-0661(04)00058-1}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Rosu98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Rutten98, author = {Jan J. M. M. Rutten}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Relators and Metric Bisimulations}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {252--258}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00063-5}, doi = {10.1016/S1571-0661(04)00063-5}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Rutten98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Schamschurko98, author = {Dmitri Schamschurko}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Modeling Process Calculi with {PVS}}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {194--211}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00059-3}, doi = {10.1016/S1571-0661(04)00059-3}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Schamschurko98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Worrell98, author = {James Worrell}, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {Toposes of Coalgebras and Hidden Algebras}, booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, pages = {212--230}, publisher = {Elsevier}, year = {1998}, url = {https://doi.org/10.1016/S1571-0661(04)00060-X}, doi = {10.1016/S1571-0661(04)00060-X}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Worrell98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cmcs/1998, editor = {Bart Jacobs and Larry Moss and Horst Reichel and Jan J. M. M. Rutten}, title = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS} 1998, Lisbon, Portugal, March 28-29, 1998}, series = {Electronic Notes in Theoretical Computer Science}, volume = {11}, publisher = {Elsevier}, year = {1998}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/11/suppl/C}, timestamp = {Thu, 16 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cmcs/1998.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.