Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/RelMiCS/ramics2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/RelMiCS/AlpayJ20,
author = {Natanael Alpay and
Peter Jipsen},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Commutative Doubly-Idempotent Semirings Determined by Chains and by
Preorder Forests},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {1--14},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_1},
doi = {10.1007/978-3-030-43520-2\_1},
timestamp = {Wed, 01 Apr 2020 16:27:12 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/AlpayJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Berghammer20,
author = {Rudolf Berghammer},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {A Relation-Algebraic Treatment of the Dedekind Recursion Theorem},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {15--30},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_2},
doi = {10.1007/978-3-030-43520-2\_2},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Berghammer20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BodirskyK20,
author = {Manuel Bodirsky and
Simon Kn{\"{a}}uer},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Hardness of Network Satisfaction for Relation Algebras with Normal
Representations},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {31--46},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_3},
doi = {10.1007/978-3-030-43520-2\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/BodirskyK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisM20,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {The {\texttheta}-Join as a Join with {\texttheta}},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {47--64},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_4},
doi = {10.1007/978-3-030-43520-2\_4},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Dubut20,
author = {J{\'{e}}r{\'{e}}my Dubut},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Bisimilarity of Diagrams},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {65--81},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_5},
doi = {10.1007/978-3-030-43520-2\_5},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Dubut20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FahrenbergJST20,
author = {Uli Fahrenberg and
Christian Johansen and
Georg Struth and
Ratan Bahadur Thapa},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Generating Posets Beyond {N}},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {82--99},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_6},
doi = {10.1007/978-3-030-43520-2\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/FahrenbergJST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FosterB20,
author = {Simon Foster and
James Baxter},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Automated Algebraic Reasoning for Collections and Local Variables
with Lenses},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {100--116},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_7},
doi = {10.1007/978-3-030-43520-2\_7},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/FosterB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FosterMS20,
author = {Simon Foster and
Jonathan Juli{\'{a}}n Huerta y Munive and
Georg Struth},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Differential Hoare Logics and Refinement Calculi for Hybrid Systems
with Isabelle/HOL},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {169--186},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_11},
doi = {10.1007/978-3-030-43520-2\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/FosterMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GalatosJ20,
author = {Nikolaos Galatos and
Peter Jipsen},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Weakening Relation Algebras and FL\({}^{\mbox{2}}\)-algebras},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {117--133},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_8},
doi = {10.1007/978-3-030-43520-2\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/GalatosJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Guttmann20,
author = {Walter Guttmann},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Verifying the Correctness of Disjoint-Set Forests with Kleene Relation
Algebras},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {134--151},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_9},
doi = {10.1007/978-3-030-43520-2\_9},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Guttmann20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GuttmannM20,
author = {Walter Guttmann and
Bernhard M{\"{o}}ller},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {A Hierarchy of Algebras for Boolean Subsets},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {152--168},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_10},
doi = {10.1007/978-3-030-43520-2\_10},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/GuttmannM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Maruyama20,
author = {Yoshihiro Maruyama},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Higher-Order Categorical Substructural Logic: Expanding the Horizon
of Tripos Theory},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {187--203},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_12},
doi = {10.1007/978-3-030-43520-2\_12},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Maruyama20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Nakamura20,
author = {Yoshiki Nakamura},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Expressive Power and Succinctness of the Positive Calculus of Relations},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {204--220},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_13},
doi = {10.1007/978-3-030-43520-2\_13},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Nakamura20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/NishizawaKK20,
author = {Koki Nishizawa and
Shin{-}ya Katsumata and
Yuichi Komorida},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Stone Dualities from Opfibrations},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {221--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_14},
doi = {10.1007/978-3-030-43520-2\_14},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/NishizawaYF20,
author = {Koki Nishizawa and
Koji Yasuda and
Hitoshi Furusawa},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Preorders, Partial Semigroups, and Quantales},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {237--252},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_15},
doi = {10.1007/978-3-030-43520-2\_15},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/NishizawaYF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/QuinteroRRV20,
author = {Santiago Quintero and
Sergio Ram{\'{\i}}rez and
Camilo Rueda and
Frank Valencia},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Counting and Computing Join-Endomorphisms in Lattices},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {253--269},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_16},
doi = {10.1007/978-3-030-43520-2\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/QuinteroRRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Ribeiro20,
author = {Pedro Ribeiro},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {A Unary Semigroup Trace Algebra},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {270--285},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_17},
doi = {10.1007/978-3-030-43520-2\_17},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Ribeiro20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Santocanale20,
author = {Luigi Santocanale},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {The Involutive Quantaloid of Completely Distributive Lattices},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {286--301},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_18},
doi = {10.1007/978-3-030-43520-2\_18},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Santocanale20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/TiemensSBB20,
author = {Lucca Tiemens and
Dana S. Scott and
Christoph Benzm{\"{u}}ller and
Miroslav Benda},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Computer-Supported Exploration of a Categorical Axiomatization of
Modeloids},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {302--317},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_19},
doi = {10.1007/978-3-030-43520-2\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/TiemensSBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Winter20,
author = {Michael Winter},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Sharpness in the Fuzzy World},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {318--334},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_20},
doi = {10.1007/978-3-030-43520-2\_20},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Winter20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2020,
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2},
doi = {10.1007/978-3-030-43520-2},
isbn = {978-3-030-43519-6},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-09-10 09:57 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:
