default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cmcs/cmcs2001.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/AczelAV01,
author = {Peter Aczel and
Jir{\'{\i}} Ad{\'{a}}mek and
Jir{\'{\i}} Velebil},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {A Coalgebraic View of Infinite Trees and Iteration},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {1--26},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80900-9},
doi = {10.1016/S1571-0661(04)80900-9},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AczelAV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdamekP01,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Hans{-}E. Porst},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {From Varieties of Algebras to Covarieties of Coalgebras},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {27--46},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80901-0},
doi = {10.1016/S1571-0661(04)80901-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AdamekP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Barbosa01,
author = {Lu{\'{\i}}s Soares Barbosa},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Process Calculi{\`{a}} la Bird-Meertens},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {47--66},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80902-2},
doi = {10.1016/S1571-0661(04)80902-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Barbosa01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bartels01,
author = {Falk Bartels},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Generalised Coinduction},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {67--87},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80903-4},
doi = {10.1016/S1571-0661(04)80903-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bartels01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Cockett01,
author = {J. Robin B. Cockett},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Deforestation, program transformation, and cut-elimination},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {88--127},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80904-6},
doi = {10.1016/S1571-0661(04)80904-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Cockett01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniLM01,
author = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Preface},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {308--309},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80916-8},
doi = {10.1016/S1571-0661(05)80916-8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GhaniLMP01,
author = {Neil Ghani and
Christoph L{\"{u}}th and
Federico De Marchi and
John Power},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Algebras, Coalgebras, Monads and Comonads},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {128--145},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80905-8},
doi = {10.1016/S1571-0661(04)80905-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GhaniLMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GibbonsHA01,
author = {Jeremy Gibbons and
Graham Hutton and
Thorsten Altenkirch},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {When is a function a fold or an unfold?},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {146--160},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80906-X},
doi = {10.1016/S1571-0661(04)80906-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GibbonsHA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goldblatt01,
author = {Robert Goldblatt},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {A Calculus of Terms for Coalgebras of Polynomial Functors},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {161--184},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80907-1},
doi = {10.1016/S1571-0661(04)80907-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Goldblatt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GummS01,
author = {H. Peter Gumm and
Tobias Schr{\"{o}}der},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Monoid-labeled transition systems},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {185--204},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80908-3},
doi = {10.1016/S1571-0661(04)80908-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GummS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hughes01,
author = {Jesse Hughes},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Modal Operators for Coequations},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {205--226},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80909-5},
doi = {10.1016/S1571-0661(04)80909-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hughes01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HylandP01a,
author = {Martin Hyland and
John Power},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Two-dimensional linear algebra},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {227--240},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80910-1},
doi = {10.1016/S1571-0661(04)80910-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HylandP01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kurz01,
author = {Alexander Kurz},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Modal Rules are Co-Implications},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {241--253},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80911-3},
doi = {10.1016/S1571-0661(04)80911-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kurz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Masulovic01,
author = {Dragan Masulovic},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Invariants of monadic coalgebras},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {254--270},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80912-5},
doi = {10.1016/S1571-0661(04)80912-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Masulovic01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pattinson01,
author = {Dirk Pattinson},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Modal Languages for Coalgebras in a Topological Setting},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {271--284},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80913-7},
doi = {10.1016/S1571-0661(04)80913-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pattinson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Plotkin01,
author = {Gordon D. Plotkin},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Bialgebraic Semantics and Recursion (Extended Abstract)},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {285--288},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80914-9},
doi = {10.1016/S1571-0661(04)80914-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Plotkin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PollZ01,
author = {Erik Poll and
Jan Zwanenburg},
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {From Algebras and Coalgebras to Dialgebras},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
pages = {289--307},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80915-0},
doi = {10.1016/S1571-0661(04)80915-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PollZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cmcs/2001,
editor = {Andrea Corradini and
Marina Lenisa and
Ugo Montanari},
title = {Coalgebraic Methods in Computer Science, {CMCS} 2001, a Satellite
Event of {ETAPS} 2001, Genova, Italy, April 6-7, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {1},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/44/issue/1},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/2001.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.
retrieved on 2024-10-01 13:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
